Jan von Plato
According to our database1,
Jan von Plato
authored at least 35 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
J. Log. Comput., 2024
On the Proof Theory of Apodictic Syllogistic.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
2018
Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural Deduction.
Bull. Symb. Log., 2018
2016
Proceedings of the Advances in Proof-Theoretic Semantics., 2016
2015
Proceedings of the History and Philosophy of Computing - Third International Conference, 2015
2014
Bull. Symb. Log., 2014
David Hilbert's lectures on the foundations of arithmetic and logic 1917-1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp.
Bull. Symb. Log., 2014
Cambridge University Press, ISBN: 978-1-10-741723-6, 2014
2012
2011
2010
Ann. Pure Appl. Log., 2010
2009
2008
2007
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.
Bull. Symb. Log., 2007
2005
The duality of lcassical and constructive notions and proofs.
Proceedings of the From sets and types to topology and analysis, 2005
2004
2003
2001
Structural proof theory.
Cambridge University Press, ISBN: 978-0-521-79307-0, 2001
2000
1999
1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
1997
1995
Proceedings of the Types for Proofs and Programs, 1995