Chapter 2 First-Order Logic

#mathematical_logic #first_order_logic

First-Order Language

Truth and Models

Logical Implication

Definability in a Structure