Editing Deduction theorem (section)

==References==
* {{Cite book|last= Fitch|first= Frederic Brenton|author-link= Frederic Fitch|title= Symbolic Logic: An introduction|publisher= The Ronald Press Company|url=https://archive.org/details/symboliclogicint0000fitc|location=New York|year= 1952|lccn = 52006196}}
* {{cite web | last = Franks | first = Curtis | title = Deduction Theorem | url = https://www3.nd.edu/~cfranks/dt.pdf | website = [[University of Notre Dame]] | access-date = 2020-07-21}}
* {{Cite journal |last=Hewitt|first=Carl|author-link=Carl Hewitt|title=ORGs for Scalable, Robust, Privacy-Friendly Client Cloud Computing |journal=IEEE Internet Computing |volume=12 |issue=5 |doi=10.1109/MIC.2008.107 |year=2008 |pages=96–99 |s2cid=27828219 }} September/October 2008
* {{Cite book | last=Kleene | first=Stephen Cole | author-link=Stephen Kleene | title=Mathematical logic | orig-year=1967 | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-42533-7 | mr=1950307 | year=2002}}
* {{Cite book|last=Kleene|first=Stephen Cole|author-link=Stephen Kleene |title=Introduction to meta-mathematics|publisher=North Holland|year=1980|isbn=9780720421033}}
* {{Cite book | last=Kohlenbach | first=Ulrich | author-link=Ulrich Kohlenbach | title=Applied proof theory: proof interpretations and their use in mathematics | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Springer Monographs in Mathematics | isbn=978-3-540-77532-4 | mr=2445721 | year=2008}}
* {{Cite book|last=Rautenberg|first=Wolfgang|author-link=Wolfgang Rautenberg|doi=10.1007/978-1-4419-1221-3|title=A Concise Introduction to Mathematical Logic|publisher=[[Springer Science+Business Media]]|location=[[New York City|New York]]|edition=3rd|isbn=978-1-4419-1220-6|year=2010}}.
* {{Cite book| last=Shoenfield | first=Joseph R. | author-link=Joseph R. Shoenfield | title=Mathematical Logic | orig-year=1967 | publisher=[[A K Peters]] | edition=2nd | isbn=978-1-56881-135-2 | year=2001}}
* {{cite web | last = Smith | first = Peter | title = Types of proof system | website = Logic Matters | date = 2010-10-13 | url = http://www.logicmatters.net/resources/pdfs/ProofSystems.pdf | access-date = 2025-05-29}}