Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Constructions in model theory.- Seminars: M. Servi: SH formulas and generalized exponential.- J.A. Makowski: Topological model theory.

Model theory --- Logic, Symbolic and mathematical --- Mathematics. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism