Next:
Basic Language
Up:
On the Model Theory
Previous:
Introduction
The Formal Systems
Basic Language
Languages
Well formed formulas
Hilbert-type system
Yasuko Kitajima
Fri Jun 20 13:39:43 PDT 1997
