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