New Concepts of Formal Proof and Proof Representations

Similar Works

Action	Title	Year	Authors
+	Proofs and proof theory	2014
+	Ideas and Results in Proof Theory	1971	Dag Prawitz
+	A Note on the Relation Between Formal and Informal Proof	2010	Jörgen Sjögren
+	Forms of Proof and Proving	2012	Tommy Dreyfus Elena Nardi Роза Лейкин
+	The Art of Formal Proof	2024	Robert Y. Lewis
+	Proof representations in Theorem Provers	1998	Geoffrey Watson
+	Basic proof theory (2nd ed.)	2000	A. S. Troelstra H. Schwichtenberg
+	The Adaption of Proof Methods by Reformulation	1999	Manfred Kerber Xiaorong Huang Lassaad Cheikhrouhou
+	A Logical Introduction to Proof	2012	Daniel W. Cunningham
+	2 The Method of Proofs and Refutations	2020
+	The Method of Proofs and Refutations	2001
+	The Method of Proofs and Refutations	2001
+	Anatomy of a Formal Proof	2025	Jeremy Avigad Johan Commelin Heather Macbeth Adam Topaz
+	Proof Theory	1989	Wolfram Pohlers
+ PDF Chat	Proof Theory	2021	Stan Raatz
+	Proof theory	1977	Kurt Schütte
+	Proof theory	1978	Gian‐Carlo Rota
+	Proof Theory	1989	Wolfram Pohlers
+	Proof Theory	2000
+	Proof theory	1979

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors