Logic Books
Computability and Logic
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not …
How to Solve It: A New Aspect of Mathematical Method
A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appeal…
The Universal Computer: The Road from Leibniz to Turing
Computers are everywhere today -- at work, in the bank, in artist's studios, sometimes even in our pockets -- yet they remain to many of us object…
The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. …
COPELAND:ESSENTIAL TURING PAPER: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
Alan Turing was one of the most influential thinkers of the 20th century. In 1935, aged 22, he developed the mathematical theory upon which all su…
Elements of the Theory of Computation
Appropriate for senior and graduate level courses in Computer Science Theory, Automata, and Theory of Computation. This is the long awaited Second…
Category Theory for Programmers
Collected from the series of blog posts starting at: https://bartoszmilewski.com/2014/10/2... Hardcover available at: http://www.blurb.com/…