Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
von Plato, Jan
2007.
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.
Bulletin of Symbolic Logic,
Vol. 13,
Issue. 2,
p.
189.
Plato, Jan von
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
667.
von Plato, Jan
2010.
Combinatorial analysis of proofs in projective and affine geometry.
Annals of Pure and Applied Logic,
Vol. 162,
Issue. 2,
p.
144.
von Plato, Jan
2012.
Gentzen's Proof Systems: Byproducts in a Work of Genius.
The Bulletin of Symbolic Logic,
Vol. 18,
Issue. 3,
p.
313.
2014.
Proof Theory.
Vol. 20144468,
Issue. ,
p.
364.
González-Huesca, Lourdes del Carmen
Miranda-Perea, Favio E.
and
Linares-Arévalo, P. Selene
2019.
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.
Journal of Applied Non-Classical Logics,
Vol. 29,
Issue. 3,
p.
255.
Bobzien, Susanne
2019.
Stoic Sequent Logic and Proof Theory.
History and Philosophy of Logic,
Vol. 40,
Issue. 3,
p.
234.
Binder, David
Piecha, Thomas
and
Schroeder-Heister, Peter
2022.
The Logical Writings of Karl Popper.
Vol. 58,
Issue. ,
p.
1.
Maggesi, Marco
and
Perini Brogi, Cosimo
2023.
Mechanising Gödel–Löb Provability Logic in HOL Light.
Journal of Automated Reasoning,
Vol. 67,
Issue. 3,
Więckowski, Bartosz
2024.
Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1.
Studia Logica,