01591nam0 22003853i 450 VAN025462820230523120557.279N978364286718720230214d1968 |0itac50 baengDE|||| |||||First-Order LogicRaymond M. SmullyanBerlinSpringer1968xii, 160 p.ill.24 cm001VAN02543092001 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>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0254628BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5381 08eMF5381 20230301 First-Order Logic340270UNICAMPANIA