Lew Gordeev

	2012
12		Lew Gordeev, Andreas Weiermann: Phase transitions of iterated Higman-style well-partial-orderings. Arch. Math. Log. 51(1-2): 127-161 (2012)
	2011
11		Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira: Propositional proof compressions and DNF logic. Logic Journal of the IGPL 19(1): 62-86 (2011)
	2010
10		Lew Gordeev: A note on da Costa-Doria "exotic formalizations". Arch. Math. Log. 49(7-8): 813-821 (2010)
	2001
9		Lew Gordeev: Finite methods in 1-order formalisms. Ann. Pure Appl. Logic 113(1-3): 121-151 (2001)
	2000
8		Lew Gordeev: Combinatorial Principles Relevant to Finite Variable Logic. RelMiCS 2000: 95-111
	1999
7		Lew Gordeev: Variable Compactness in 1-Order Logic. Logic Journal of the IGPL 7(3): 327-357 (1999)
	1998
6		Lew Gordeev: Proof systems in relation algebra. RelMiCS 1998: 80-85
	1994
5		Lew Gordeev: Cut Free Formalization of Logic with Finitely Many Variables. Part I. CSL 1994: 136-150
4		Lew Gordeev: A Modified Sentence Unprovable in PA. J. Symb. Log. 59(4): 1154-1157 (1994)
	1991
3		Lew Gordeev: Quasi-ordinals and proof theory. Graph Structure Theory 1991: 485-494
	1990
2		Lew Gordeev: Generalizations of the Kruskal-Friedman Theories. J. Symb. Log. 55(1): 157-181 (1990)
	1989
1		Lew Gordeev: Generalizations of the One-Dimensional Version of the Kruskal-Friedman Theorems. J. Symb. Log. 54(1): 100-121 (1989)

Coauthor Index

1	Edward Hermann Haeusler	[11]
2	Luiz Carlos Pereira	[11]
3	Andreas Weiermann	[12]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page