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

383^rd place

320^th place

6^th place

6^th place

1logicmatters.net

low place

low place

2,387^th place

1,479^th place

archive.org

Fredric B. Fitch (1952) Symbolic Logic: an Introduction

github.com

An explicit verification of this result may be found in https://github.com/georgydunaev/VerifiedMathFoundations/blob/master/SHEN.v

logicmatters.net

Peter Smith (13 Oct 2010) Types of proof system pages 5, and following

nd.edu

www3.nd.edu

Deduction theorem, from Curtis Franks at the University of Notre Dame, retrieved 2020-07-21