01818nam0 2200397 i 450 SUN005308720171005101246.92405-213-8923-20.00978-05-213-8923-520060922d1989 |0engc50 baengUS|||| |||||*Computability and logicGeorge S. Boolos, Richard C. Jeffrey3rd edNew YorkCambridge university1989X, 304 p.23 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003DxxComputability and recursion theory [MSC 2020]MFSUNC02438603B25Decidability of theories and sets of sentences [MSC 2020]MFSUNC02440003F30First-order arithmetic and fragments [MSC 2020]MFSUNC02440103H15Nonstandard models of arithmetic [MSC 2020]MFSUNC02440203F40Gödel numberings and issues of incompleteness [MSC 2020]MFSUNC02440303B45Modal logic (including the logic of norms) [MSC 2020]MFSUNC02440403B10Classical first-order logic [MSC 2020]MFSUNC024530CambridgeSUNL000024Boolos, GeorgeSUNV04187745067Jeffrey, Richard C.SUNV04188245068Cambridge universitySUNV000097650Jeffrey, Richard CarlJeffrey, Richard C.SUNV058913Jeffrey, R. C.Jeffrey, Richard C.SUNV058914ITSOL20200727RICASUN0053087UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0498 08 4518 II 20060922 Computability and logic334554UNICAMPANIA