Set theoretical logic-the algebra of models
Auteur :
Felscher, Walter
Éditeur :
Felscher, Walter
ISBN :
9789056992668
Date de publication :
30 mai 2000
Dimensions :
23,5 x 15,6 x 2,4 cm
Poids :
658 g
Format :
Sewn
Langue :
Anglais
Pays d'origine :
Grande Bretagne
An introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical consequence, Lowenheim-Skolem-Tarski theorems, prenex and other normal forms, characterizations of elementary classes with the help of ultraproducts.