Logic


Boolean
Reasoning

Switching and Finite
Automata Theory

Boolean Algebra
and Its Applications

A Mathematical
Introduction to Logic

Mathematical
Logic

A Course in Mathematical
Logic for Mathematicians

Handbook of
Mathematical Induction

Model Theory:
An Introduction

Elements of
Set Theory

Please spread the word by sharing on social media:

Share on Facebook  Tweet  Share on LinkedIn  Submit to Reddit  Pin it  Add to Pocket