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:





