Modelltheorie
Subtitle: eine Einführung in die mathematische Logik und Grundlagentheorie
By: [von] G. Kreisel [und] J.-L. Krivine. Aus dem Französischen übers von J. Jung.
Contributors: Krivine, J. L. joint author.
Series: Hochschultext
Publisher: Springer
Published: 1972
Place of publication: Berlin
Language: ger
Number of pages: 274
Subjects: Model theory.
Notes: Translation of Éléments de logique mathematique.