Repository | Directory | Profile

Jan von Plato
Formalization of Hilbert's geometry of incidence and parallelism
1997
Synthese 110/1

Chance against constructibility
1995
in: From Dedekind to Gödel, Dordrecht : Springer

Illustrations of method in Ptolemaic astronomy
1994
Grazer Philosophische Studien 49
