Richard Vesley

List of publications from the DBLP Bibliography Server - FAQ

1998

2 Melinda Lombard, Richard Vesley: A Common Axiom Set for Classical and Intuitionistic Plane Geometry. Ann. Pure Appl. Logic 95(1-3): 229-255 (1998)

1996

1 Richard Vesley: Realizing Brouwer's Sequences. Ann. Pure Appl. Logic 81(1-3): 25-74 (1996)

1998
2		Melinda Lombard, Richard Vesley: A Common Axiom Set for Classical and Intuitionistic Plane Geometry. Ann. Pure Appl. Logic 95(1-3): 229-255 (1998)
1996
1		Richard Vesley: Realizing Brouwer's Sequences. Ann. Pure Appl. Logic 81(1-3): 25-74 (1996)

Coauthor Index