Result Number  Material Type  Add to My Shelf Action  Record Details and Options 

1 
Material Type: Article

Gödel, Gentzen, Goodstein: The Magic Sound of a GStringPlato, JanThe Mathematical Intelligencer, 2014, Vol.36(4), pp.2227 [Peer Reviewed Journal]Full text available 

2 
Material Type: Article

From Axiomatic Logic to Natural DeductionPlato, JanStudia Logica, 2014, Vol.102(6), pp.11671184 [Peer Reviewed Journal]Full text available 

3 
Material Type: Article

Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relationsVon Plato, JanIndagationes Mathematicae, December 2018, Vol.29(6), pp.15461554 [Peer Reviewed Journal]Full text available 

4 
Material Type: Article

Martin Davis on Computability, Computational Logic, and Mathematical Foundations by E. Omodeo and A. Policriti (eds.)Jan Von PlatoMathematical Intelligencer, May 2018, pp.13 [Peer Reviewed Journal]Full text available 

5 
Material Type: Article

GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVEVon Plato, JanThe Bulletin of Symbolic Logic, 1 December 2014, Vol.20(4), pp.417448 [Peer Reviewed Journal]Full text available 

6 
Material Type: Article

Combinatorial analysis of proofs in projective and affine geometryVon Plato, JanAnnals of Pure and Applied Logic, 2010, Vol.162(2), pp.144161 [Peer Reviewed Journal]Full text available 

7 
Material Type: Article

Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relationsVon Plato, JanIndagationes Mathematicae, 12/2018, Vol.29(6), pp.15461554 [Peer Reviewed Journal]Full text available 

8 
Material Type: Article

Combinatorial analysis of proofs in projective and affine geometryVon Plato, JanAnnals of Pure and Applied Logic, 11/2010, Vol.162(2), pp.144161 [Peer Reviewed Journal]Full text available 

9 
Material Type: Article

Rereading GentzenVon Plato, JanSynthese, 2003, Vol.137(1), pp.195209 [Peer Reviewed Journal]Full text available 

10 
Material Type: Article

Skolem's Discovery of GödelDummett Logicvon Plato, JanStudia Logica, 2003, Vol.73(1), pp.153157 [Peer Reviewed Journal]Full text available 

11 
Material Type: Article

Translations from natural deduction to sequent calculusVon Plato, JanMathematical Logic Quarterly, September 2003, Vol.49(5), pp.435443 [Peer Reviewed Journal]Full text available 

12 
Material Type: Article

A Problem of Normal Form in Natural DeductionVon Plato, JanMathematical Logic Quarterly, January 2000, Vol.46(1), pp.121124 [Peer Reviewed Journal]Full text available 

13 
Material Type: Article

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISMPlato, JANSynthese, 1997, Vol.110(1), pp.127141 [Peer Reviewed Journal]Full text available 

14 
Material Type: Article

Translations from natural deduction to sequent calculusVon Plato, JanMLQ, 9/2003, Vol.49(5), pp.435443 [Peer Reviewed Journal]Full text available 

15 
Material Type: Article

Probability and DeterminismVon Plato, JanPhilosophy of Science, 1 March 1982, Vol.49(1), pp.5166 [Peer Reviewed Journal]Full text available 

16 
Material Type: Article

The Method of Arbitrary FunctionsVon Plato, JanThe British Journal for the Philosophy of Science, 1 March 1983, Vol.34(1), pp.3747 [Peer Reviewed Journal]Full text available 

17 
Material Type: Article

de Finetti's Earliest Works on the Foundations of ProbabilityVon Plato, JanErkenntnis (1975), 1 September 1989, Vol.31(2/3), pp.263282 [Peer Reviewed Journal]Full text available 

18 
Material Type: Article

A Problem of Normal Form in Natural DeductionVon Plato, JanMLQ, 1/2000, Vol.46(1), pp.121124 [Peer Reviewed Journal]Full text available 

19 
Material Type: Article

The Generalization of de Finetti's Representation Theorem to Stationary ProbabilitiesVon Plato, JanPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1 January 1982, Vol.1982, pp.137144Full text available 

20 
Material Type: Article

Probabilistic Causality, Randomization and MixturesVon Plato, JanPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1 January 1986, Vol.1986, pp.432437Full text available 

21 
Material Type: Article

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth by Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, and Charles L. Harper, Jr. (eds.)Plato, JanThe Mathematical Intelligencer, 2013, Vol.35(2), pp.7073 [Peer Reviewed Journal]Full text available 

22 
Material Type: Article

Elements of Logical ReasoningVon Plato, JanMathematical Intelligencer, Vol.37(2), p.108 [Peer Reviewed Journal]Summer 2015Full text available 

23 
Material Type: Article

GENTZEN'S PROOF SYSTEMS: BYPRODUCTS IN A WORK OF GENIUSVon Plato, JanThe Bulletin of Symbolic Logic, 1 September 2012, Vol.18(3), pp.313367 [Peer Reviewed Journal]Full text available 

24 
Material Type: Article

KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTIONJan Von PlatoThe Bulletin of Symbolic Logic, Sep 2018, Vol.24(3), pp.319335 [Peer Reviewed Journal]Full text available 

25 
Material Type: Article

Normal derivability in modal logicVon Plato, JanMathematical Logic Quarterly, November 2005, Vol.51(6), pp.632638 [Peer Reviewed Journal]Full text available 

26 
Material Type: Article

In the Shadows of the LöwenheimSkolem Theorem: Early Combinatorial Analyses of Mathematical ProofsVon Plato, JanThe Bulletin of Symbolic Logic, 1 June 2007, Vol.13(2), pp.189225 [Peer Reviewed Journal]Full text available 

27 
Material Type: Article

Sequent Calculus in Natural Deduction StyleNegri, Sara ; Von Plato, JanThe Journal of Symbolic Logic, 1 December 2001, Vol.66(4), pp.18031816 [Peer Reviewed Journal]Full text available 

28 
Material Type: Article

Gentzen's Proof of Normalization for Natural DeductionVon Plato, Jan ; Gentzen, G. ; Jan Von Plato ; G. GentzenThe Bulletin of Symbolic Logic, 1 June 2008, Vol.14(2), pp.240257 [Peer Reviewed Journal]Full text available 

29 
Material Type: Article

The axioms of constructive geometryVon Plato, JanAnnals of Pure and Applied Logic, 1995, Vol.76(2), pp.169200 [Peer Reviewed Journal]Full text available 

30 
Material Type: Article

The significance of the ergodic decomposition of stationary measures for the interpretation of probabilityPlato, JanSynthese, 1982, Vol.53(3), pp.419432 [Peer Reviewed Journal]Full text available 

31 
Material Type: Article

Reductive relations in interpretations of probabilityPlato, JanSynthese, 1981, Vol.48(1), pp.6175 [Peer Reviewed Journal]Full text available 

32 
Material Type: Article

De Finetti's earliest works on the foundations of probabilityPlato, JanErkenntnis, 1989, Vol.31(2), pp.263282 [Peer Reviewed Journal]Full text available 

33 
Material Type: Article

On partial exchangeability as a generalization of symmetry principlesPlato, JanErkenntnis, 1981, Vol.16(1), pp.5359 [Peer Reviewed Journal]Full text available 

34 
Material Type: Article

Finite partial exchangeabilityVon Plato, JanStatistics and Probability Letters, 1991, Vol.11(2), pp.99102 [Peer Reviewed Journal]Full text available 

35 
Material Type: Article

Cut Elimination in the Presence of AxiomsNegri, Sara ; Von Plato, JanThe Bulletin of Symbolic Logic, 1 December 1998, Vol.4(4), pp.418435 [Peer Reviewed Journal]Full text available 

36 
Material Type: Review

David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 (Book Review)Von Plato, JanThe Bulletin of Symbolic Logic, 1 September 2014, Vol.20(3), pp.363365 [Peer Reviewed Journal]Full text available 

37 
Material Type: Review

David Hilbert's Lectures on the Foundations of Geometry 18911902 (Book Review)Von Plato, JanThe Bulletin of Symbolic Logic, 1 September 2006, Vol.12(3), pp.492494 [Peer Reviewed Journal]Full text available 

38 
Material Type: Review

Kurt Gödel Collected Works IVV: Correspondence (Book Review)Von Plato, JanThe Bulletin of Symbolic Logic, 1 December 2004, Vol.10(4), pp.558563 [Peer Reviewed Journal]Full text available 

39 