Kirk Borne
@KirkDBorne
"Sets, Logic, Computation" — Open-access book. Download 437-page PDF here: https://slc.openlogicproject.org/
Metalogic book aimed at students of computer science and philosophy.
Topics include:
Relations, Graphs, Trees
Sets - Countable and Uncountable
Functions - Inverses, Partial
First-Order Logic and Beyond - in depth
Derivation Systems - Sequent Calculus, Deduction
Theorems & Lemmas - Completeness, Compactness
Turing Machines - Representations, Computations, States, Decisions, Undecidability Theorems
Proofs and Induction
