RT Book
T1 Éléments de logique mathématique: théorie des modèles
T2 Monographies de la Société Mathématique de France
JF Monographies de la Société Mathématique de France
A1 Kreisel, Georg 1923-2015
A2 Krivine, Jean-Louis
LA French
PP Paris
PB Dunod
YR 1967
UL https://ixtheo.de/Record/1071249908
CN QA9
K1 Logic, Symbolic and mathematical
K1 Mathematical models