Jan von Plato. In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. Bulletin of Symbolic Logic, 13(2):189-225, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.