BASIC NOTIONS

RELATIONS BETWEEN MODELS
	Isomorphism and Equivalence
	(Elementary Submodels)

EHRENFEUCHT-FRAISSE GAMES
	Finite GAmes
	The Meaning of the Game
	Applications
	The Infinite GAne

CONSTRUCTING MODELS
	Compactness
	Diagrams
	Ultraproducts
	Omitting Types
	Saturation
	Recursive Saturation
	Applications

DEDUCTION AND COMPLETENESS
	Rules of Natural Deduction
	Soundness
	Completeness

SET THEORY
	Axioms
	Notations
	Orderings
	Ordinals
	Cardinals
	Axiom of Choice
	Inductive Definitions
	Ramsey's Theorem
	Games

BIBLIOGRAPHY