Proof theory (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Proof theory" in English language version.

refsWebsite

Global rank English rank

5^th place

6^th place

70^th place

63^rd place

low place

2^nd place

archive.org (Global: 6^th place; English: 6^th place)

According to Wang (1981, pp. 3–4), proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Barwise (1977) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". Wang, Hao (1981). Popular Lectures on Mathematical Logic. Van Nostrand Reinhold Company. ISBN 9780442231095. OCLC 6087107. Barwise, Jon (1977). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. North-Holland Publishing Company. ISBN 072042285X. LCCN 76026032. OCLC 2347202. (accessible to patrons with print disabilities)
Prawitz (1965, p. 98). Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.

Chaudhuri, Kaustuv; Marin, Sonia; Straßburger, Lutz (2016), Focused and Synthetic Nested Sequents, Lecture Notes in Computer Science, vol. 9634, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 390–407, doi:10.1007/978-3-662-49630-5_23, ISBN 978-3-662-49629-9

Girard, Taylor & Lafont 2003. Girard, J.-Y.; Taylor, P.; Lafont, Y. (2003) [1989]. Proofs and Types (PDF). Cambridge University Press. ISBN 0521371813.

According to Wang (1981, pp. 3–4), proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Barwise (1977) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". Wang, Hao (1981). Popular Lectures on Mathematical Logic. Van Nostrand Reinhold Company. ISBN 9780442231095. OCLC 6087107. Barwise, Jon (1977). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. North-Holland Publishing Company. ISBN 072042285X. LCCN 76026032. OCLC 2347202. (accessible to patrons with print disabilities)

According to Wang (1981, pp. 3–4), proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Barwise (1977) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". Wang, Hao (1981). Popular Lectures on Mathematical Logic. Van Nostrand Reinhold Company. ISBN 9780442231095. OCLC 6087107. Barwise, Jon (1977). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Vol. 90. North-Holland Publishing Company. ISBN 072042285X. LCCN 76026032. OCLC 2347202. (accessible to patrons with print disabilities)
Prawitz (1965, p. 98). Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
Simpson 2010. Simpson, S. G. (2010). Subsystems of Second-order Arithmetic. Perspectives in logic (2 ed.). Cambridge University Press. ISBN 9780521150149. OCLC 528432422.