01207nam0 2200277 i 450 SUN005146120160411020819.77701-985298-0-50.0020061106d2004 |0engc50 baengGB|||| |||||A *first course in logican introduction to model theory, proof theory, computability, and complexityShawn HedmanOxfordOxford university2004XX, 431 p.ill.24 cm.001SUN01052142001 *Oxford texts in logic1210 OxfordOxford university.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750GBOxfordSUNL000020Hedman, ShawnSUNV043790623450Oxford universitySUNV000064650ITSOL20200720RICA/sebina/repository/catalogazione/documenti/Hedman - A First Course in Logic.pdfContentsSUN0051461UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1845 08 6685 I 20061106 First course in logic1091063UNICAMPANIA