git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Logic / Books.md
master

Tree @master (Download .tar.gz)

Books.md @master — view markup · raw · history · blame

Logic Books

Introduction to Mathematical Proof

  • subtitle: Math 299 Lecture Notes
  • authors: Ken Monks
  • date: 2024
  • online @ monks.scranton.edu

.

Logic (Hodges)

  • authors: Wilfrid Hodges
  • date: 1977
  • borrow @ archive.org

.

Mathematical logic and formalized theories

  • subtitle: a survey of basic concepts and results
  • authors: Robert Rogers
  • date: 1971
  • borrow @ archive.org

.

Mathematical Logic (Kleene)

  • authors: Stephen Cole Kleene
  • date: 1967
  • borrow @ archive.org
  • topics: Logic, FoM, Theory of Computation

.

Mathematical Logic (Quine)

  • authors: W. V. O. Quine
  • date: 1940
  • online @ archive.org

.

Deductive Logic: a programed introduction

  • authors: John T. Kearns
  • date: 1969
  • borrow @ archive.org

.

The Blackwell Guide To Philosophical Logic

  • authors: Lou Goble (Ed.)
  • date: 1999
  • online @ archive.org

.

Handbook of Logic in Computer Science, Volume 1

  • subtitle: Background, Mathematical Structures
  • authors: Abramsky, Gabbay, Maibaum (Eds.)
  • date: 2000
  • borrow @ archive.org

Logic for computer science. (Though it claims to be Volume 5, it is Volume 1.)

Handbook of Logic and Proof Techniques for Computer Science

  • authors: Steven G. Krantz
  • date: 2002
  • borrow @ archive.org

Logic for computer science.

Handbook of logic in artificial intelligence and logic programming, Vol 1

  • subtitle: Logical Foundations
  • authors: Dov M. Gabbay, C. J. Hogger, J. A. Robinson (Eds.)
  • date: 1993
  • topics: Logic, Artificial Intelligence, Logic Programming, Term Rewriting, Equational Logic
  • borrow @ archive.org

.

Handbook of logic in artificial intelligence and logic programming, Vol 2

  • subtitle: Deduction Methodologies
  • authors: Dov M. Gabbay, C. J. Hogger, J. A. Robinson (Eds.)
  • date: 1993
  • topics: Logic, Artificial Intelligence, Logic Programming
  • borrow @ archive.org

.

Handbook of logic in artificial intelligence and logic programming, Vol 4

  • subtitle: Epistemic and Temporal Reasoning
  • authors: Dov M. Gabbay, C. J. Hogger, J. A. Robinson (Eds.)
  • date: 1993
  • topics: Logic, Artificial Intelligence, Logic Programming
  • borrow @ archive.org

.

Simply Logical

.