Plato, Jan von 1951-
Von Plato, Jan
Von Plato, Jan, 1951-
Plato, Jan von.
Jan von Plato
VIAF ID: 3372453 ( Personal )
Permalink: http://viaf.org/viaf/3372453
Preferred Forms
- 100 0 _ ‡a Jan von Plato
- 200 _ | ‡a Plato ‡b Jan von ‡f 1951-....
-
-
- 100 1 _ ‡a Plato, Jan von, ‡d 1951-....
-
- 100 1 _ ‡a Plato, Jan von ‡d 1951-
-
- 100 1 _ ‡a Von Plato, Jan
- 100 1 _ ‡a Von Plato, Jan
-
- 100 1 _ ‡a Von Plato, Jan
-
-
- 100 1 _ ‡a Von Plato, Jan ‡d 1951-
-
4xx's: Alternate Name Forms (21)
5xx's: Related Names (3)
- 510 2 _ ‡a Cambridge University Press
- 510 2 _ ‡a Helsingin Yliopisto
- 510 2 _ ‡a Helsingin yliopisto ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Can mathematics be proved consistent? : Gödel's shorthand notes & lectures on incompleteness | |
Chapters from Gödel's unfinished book on foundational research in mathematics | |
Creating modern probability its mathematics, physics and philosophy in historical perspective | |
Elements of logical reasoning | |
From Gentzen to Jaskowski and back : algorithmic translation of derivations between the two main systems of natural deduction | |
Gentzens Problem mathematische Logik im nationalsozialistischen Deutschland | |
great formal machinery works theories of deduction and computation at the origins of the digital age | |
The interpretation of probabilities : a summary | |
Kurt Gödel : Results on foundations | |
Kurt Gödel the Princeton lectures on intuitionism | |
Portrait of Young Gödel Education, First Steps in Logic, the Problem of Completeness | |
Proof analysis : a contribution to Hilbert's last problem | |
Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics | |
Structural proof theory, 2001: |