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:}