02268nam0 22005173i 450 VAN026820120240305115417.601N978146158750720231130d1978 |0itac50 baengUS|||| |||||Mathematical LogicAn Introduction to Model TheoryA. H. Lightstoneedited by H. B. EndertonNew YorkPlenum1978xiii, 338 p.ill.24 cm001VAN02680262001 Mathematical Concepts and Methods in Science and Engineering210 New YorkPlenum ; [poi] Springer903-XXMathematical logic and foundations [MSC 2020]VANC019750MF03H05Nonstandard models in mathematics [MSC 2020]VANC020826MF03B05Classical propositional logic [MSC 2020]VANC021402MF03CxxModel theory [MSC 2020]VANC024387MF03E30Axiomatics of classical set theory and its fragments [MSC 2020]VANC024397MF03C35Categoricity and completeness of theories [MSC 2020]VANC024492MF03B10Classical first-order logic [MSC 2020]VANC024530MFCalculusKW:KFormsKW:KLanguageKW:KLogicKW:KMathematicaKW:KMathematical logicKW:KNaturalKW:KProofsKW:KPropositionKW:KSet TheoryKW:KVariablesKW:KUSNew YorkVANL000011LightstoneAlbert H.VANV2203461437091Enderton, Herbert B.VANV044276650Plenum <editore>VANV108321650ITSOL20240308RICAhttps://doi.org/10.1007/978-1-4615-8750-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0268201BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 7411 08eMF7411 20231204 Mathematical Logic3597433UNICAMPANIA