01889nam0 2200409 i 450 VAN005308720240209084933.44205-213-8923-2978-05-213-8923-520060922d1989 |0itac50 baengUS|||| |||||Computability and logicGeorge S. Boolos, Richard C. Jeffrey3. edNew YorkCambridge university1989X, 304 p.23 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03DxxComputability and recursion theory [MSC 2020]VANC024386MF03B25Decidability of theories and sets of sentences [MSC 2020]VANC024400MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF03H15Nonstandard models of arithmetic [MSC 2020]VANC024402MF03F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MF03B10Classical first-order logic [MSC 2020]VANC024530MFCambridgeVANL000024BoolosGeorgeVANV04187745067JeffreyRichard C.VANV04188245068Cambridge university <editore>VANV107986650Jeffrey, Richard CarlJeffrey, Richard C.VANV058913Jeffrey, R. C.Jeffrey, Richard C.VANV058914ITSOL20240216RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0053087BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0498 08 4518 II 20060922 Computability and logic334554UNICAMPANIA