 | 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) |
