Bibliography

• Logic in Computer Science: Modelling and Reasoning about Systems M.Huth, M.Ryan. Cambridge University Press. ISBN: 978-0-521-88128-9.

• Types and Programming Languages B.Pierce. MIT Press, 2002. ISBN: 0-262-16209-1.

• Computability and logic G.Boolos, J.Burgess, J.Jeffrey, C.Richard. Cambridge University Press, 2007. ISBN: 0-521-87752-0.

• Theories of Programming Languages J.Reynolds. Cambridge University Press, 2009. ISBN: 78-0-521-10697-9.

• An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems. M.Bergmann, 2008.

• Sketches of an Elephant. P.Johnstone

• A Concise Introduction to Logic Craig DeLancey, 2017

• A Concise Introduction to Logic Patrick Hurley, 2012

• A Primer for Logic and Proof Holly Hirst, Jeffry L. Hirst,, 2015

• Advanced Topics in Types and Programming Languages, 2005

• Advances in Computational Intelligence

• Book of Proof Richard Hammack, 2013

• Building Blocks for Theoretical Computer Science Margaret M. Fleck, 2013

• Certified Programming With Dependent Types

• Concepts, Techniques and Models of Computer Programming Peter Van Roy and Seif Haridi, 2004

• Encyclopedia of Artificial Intelligence

• First-Order Logic and Automated Theorem Proving

• forallx P.D. Magnus, 2017

• forallx: Calgari Remix

• forallx: Cambridge Tim Button, 2017

• forallx: Lorain County Remix

• Foundations of Computer Science

• Handbook of Knowledge Representation VA, 2007

• Homotopy Type Theory: Univalent Foundations of Mathematics Univalent Foundations Program, 2013

• Introduction to Lambda Calculus

• Introduction to Mathematical Logic

• Lambda Calculus - Its Syntax and Semantics

• Lambda Calculus: Types And Models J.L. Krivine, 1993

• Lecture Notes in Logic - Yiannis Moschovakis 2014

• Logic for Computer Science Steve Reeves, Mike Clarke, 2003

• Logic in Computer Science: Modelling and Reasoning about Systems Michael Huth and Mark Ryan, 2000

• Mathematical Components Assia Mahboubi, Enrico Tassi, 2018

• Mathematics for Computer Science Lehman, Leighton, Meyer, 2015

• Metatheory

• Open Logic Project R.Zach, A.Arana, J.Avigad, 2018

• Programs and Proofs: Mechanizing Mathematics with Dependent Types Ilya Sergey, 2017

• Proof Theory: From Arithmetic to Set Theory Ilya Sergey, 2017

• Reasoned Programming

• Recursion Theory - Frank Stephan 2012

• Sentential Logic Primer

• Software Foundations Series

• Syntax of First-order Logic

• The Emergence of First-order Logic

• Type Systems for Programming Languages

• Type Theory and Functional Programming Simon Thompson, 1991

• Types and Programming Languages Benjamin C. Pierce, 2004

• What is Mathematics: Gödel's Theorem and Around Karlis Podnieks, 2015

• Writing Mathematical Proof