01800nam0 22004213i 450 VAN0025462820240806101441.38N978364286718720230214d1968 |0itac50 baengDE|||| |||||First-Order LogicRaymond M. SmullyanBerlinSpringer1968xii, 160 p.ill.24 cm001VAN002543092001 Ergebnisse der Mathematik und ihrer Grenzgebiete, 2. Folge210 BerlinSpringer300 Dal 1976 aggiunge il complemento tit.: A series of modern surveys in mathematics4303-XXMathematical logic and foundations [MSC 2020]VANC019750MFCompactness theoremKW:KFiniteKW:KLogicKW:KMathematicaKW:KProofsKW:KTheoremKW:KVariablesKW:KBerlinVANL000066SmullyanRaymond M.VANV01364050650Springer <editore>VANV108073650Smullyan, Raymond MerrillSmullyan, Raymond M.VANV238470Smullyan, R. M.Smullyan, Raymond M.VANV238471Smullyan, R.M.Smullyan, Raymond M.VANV238472ITSOL20250117RICAhttps://doi.org/10.1007/978-3-642-86718-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00254628BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5381 08eMF5381 20230301 First-Order Logic340270UNICAMPANIA