Editing Sequent (section)

==References==
* {{cite book|last1=Ben-Ari|first1=Mordechai|author1-link=Mordechai Ben-Ari|title=Mathematical logic for computer science|publisher=Springer|location=London|year=2012|orig-year=1993|isbn=978-1-4471-4128-0}}
* {{cite book|last1=Church|first1=Alonzo|author1-link=Alonzo Church|title=Introduction to mathematical logic|publisher=Princeton University Press|location=Princeton, New Jersey|orig-year=1944|year=1996|isbn=978-0-691-02906-1}}
* {{cite book|last1=Curry|first1=Haskell Brooks|author1-link=Haskell Curry|title=Foundations of mathematical logic|orig-year=1963|year=1977|publisher=Dover Publications Inc.|location=New York|isbn=978-0-486-63462-3}}
* {{Cite journal|last1=Gentzen|first1=Gerhard|author1-link=Gerhard Gentzen|title=Untersuchungen über das logische Schließen. I|journal=Mathematische Zeitschrift|volume=39|year=1934|issue=2|pages=176–210|doi=10.1007/bf01201353|s2cid=121546341 |url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508|url-access=subscription}}
* {{Cite journal|last1=Gentzen|first1=Gerhard|author1-link=Gerhard Gentzen|title=Untersuchungen über das logische Schließen. II|journal=Mathematische Zeitschrift|volume=39|year=1935|issue=3|pages=405–431|doi=10.1007/bf01201363|s2cid=186239837 |url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605|url-access=subscription}}
* {{cite book|last1=Hilbert|first1=David| author1-link=David Hilbert | last2=Bernays | first2=Paul |author2-link=Paul Bernays|title=Grundlagen der Mathematik II|orig-year=1939|year=1970|publisher=Springer-Verlag|location=Berlin, New York|isbn=978-3-642-86897-9|edition=Second}}
* {{cite book|last1=Huth|first1=Michael|last2=Ryan|first2=Mark|title=Logic in Computer Science| year=2004|publisher=Cambridge University Press|location=Cambridge, United Kingdom|edition=Second|isbn=978-0-521-54310-1}}
* {{cite book|last1=Kleene|first1=Stephen Cole|author1-link=Stephen Cole Kleene|title=Introduction to metamathematics|orig-year=1952|year=2009|publisher=Ishi Press International|isbn=978-0-923891-57-2}}
* {{cite book|last1=Kleene|first1=Stephen Cole|author1-link=Stephen Cole Kleene|title=Mathematical logic|orig-year=1967|year=2002|publisher=Dover Publications|location=Mineola, New York|isbn=978-0-486-42533-7}}
* {{cite book|last1=Lemmon|first1=Edward John|author1-link=John Lemmon|title=Beginning logic|year=1965|publisher=Thomas Nelson|isbn=0-17-712040-1}}
* {{Prawitz Natural Deduction|2006}} {{sfn whitelist|CITEREFPrawitz2006}}
* {{cite book|last1=Smullyan|first1=Raymond Merrill|author1-link=Raymond Smullyan|year=1995|orig-year=1968|title=First-order logic|publisher=Dover Publications|location=New York|isbn=978-0-486-68370-6}}
* {{cite book|last1=Suppes|first1=Patrick Colonel|author1-link=Patrick Suppes|year=1999|orig-year=1957|title=Introduction to logic|publisher=Dover Publications|location=Mineola, New York|isbn=978-0-486-40687-9}}
* {{cite book|last1=Takeuti|first1=Gaisi|author1-link=Gaisi Takeuti|title=Proof theory|edition=Second|publisher=Dover Publications|location=Mineola, New York|year=2013|orig-year=1975|isbn=978-0-486-49073-1}}