> For the complete documentation index, see [llms.txt](https://mandober.gitbook.io/math-debrief/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://mandober.gitbook.io/math-debrief/900-index/990-appendix/bibliography.md).

# 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`