 | 2008 |
|---|
| 15 |       | Victor Pambuccian:
Axiomatizing geometric constructions.
J. Applied Logic 6(1): 24-46 (2008) |
| 14 | | Victor Pambuccian:
Corrigendum to "The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist)".
Math. Log. Q. 54(6): 668 (2008) |
| 2005 |
|---|
| 13 | | Victor Pambuccian:
The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist).
Math. Log. Q. 51(3): 277-281 (2005) |
| 12 | | Victor Pambuccian:
Groups and Plane Geometry.
Studia Logica 81(3): 387-398 (2005) |
| 2004 |
|---|
| 11 | | Victor Pambuccian:
Early Examples of Resource-Consciousness.
Studia Logica 77(1): 81-86 (2004) |
| 10 | | Victor Pambuccian:
The Simplest Axiom System for Plane Hyperbolic Geometry.
Studia Logica 77(3): 385-411 (2004) |
| 2003 |
|---|
| 9 | | Andreas Blass,
Victor Pambuccian:
Sperner spaces and first-order logic.
Math. Log. Q. 49(2): 111-114 (2003) |
| 2002 |
|---|
| 8 | | Victor Pambuccian:
On Definitions in an Infinitary Language.
Math. Log. Q. 48(4): 522-524 (2002) |
| 2001 |
|---|
| 7 | | Victor Pambuccian:
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.
Math. Log. Q. 47(1): 129-136 (2001) |
| 6 | | Victor Pambuccian:
Constructive Axiomatization of Plane Hyperbolic Geometry.
Math. Log. Q. 47(4): 475-488 (2001) |
| 2000 |
|---|
| 5 | | Victor Pambuccian:
Another Constructive Axiomatization of Euclidean Planes.
Math. Log. Q. 46(1): 45-48 (2000) |
| 1995 |
|---|
| 4 |  | Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.
Math. Log. Q. 41: 384-394 (1995) |
| 1994 |
|---|
| 3 | | Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.
Math. Log. Q. 40: 455-477 (1994) |
| 2 | | Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.
Math. Log. Q. 40: 76-86 (1994) |
| 1993 |
|---|
| 1 | | Victor Pambuccian:
Ternary Operations as Primitive Notions for Constructive Plane Geometry III.
Math. Log. Q. 39: 393-402 (1993) |
