01181nam0 2200277 i 450 VAN006429020221207121850.888978-05-217-0877-720080507d2007 |0itac50 baengGB|||| |||||ˆThe ‰mathematics of logica guide to completeness theorems and their applicationsRichard KayeCambridgeCambridge university2007XI, 204 p.23 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MFCambridgeVANL000024KayeRichardVANV04419059866Cambridge universityVANV107986650ITSOL20221209RICA/sebina/repository/catalogazione/documenti/Kaye - The mathematics of logic.pdfKaye - The mathematics of logic.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0064290BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2158 08 8082 III 20080507 Mathematics of logic1416320UNISOB