Deduction theorem (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Deduction theorem" in English language version.

refsWebsite

Global rank English rank

451^st place

277^th place

383^rd place

320^th place

low place

2,387^th place

1,479^th place

ams.org (Global: 451^st place; English: 277^th place)

Kleene 2002, p. 39,112. Kleene, Stephen Cole (2002) [1967]. Mathematical logic. New York: Dover Publications. ISBN 978-0-486-42533-7. MR 1950307.
Kohlenbach 2008, p. 148. Kohlenbach, Ulrich (2008). Applied proof theory: proof interpretations and their use in mathematics. Springer Monographs in Mathematics. Berlin, New York: Springer-Verlag. ISBN 978-3-540-77532-4. MR 2445721.

Smith 2010, pp. 5 and following. Smith, Peter (13 October 2010). "Types of proof system" (PDF). Logic Matters. Retrieved 29 May 2025.

Franks. Franks, Curtis. "Deduction Theorem" (PDF). University of Notre Dame. Retrieved 21 July 2020.