01269nam0 2200301 i 450 SUN005450720161107015038.59004-448-9840-920061016d1998 |0engc50 baengGB|||| |||||Handbook of proof theoryedited by Samuel R. BussAmsterdamOxfordElsevier1998811 p.23 cm.001SUN00237052001 Studies in logic and the foundations of mathematics137210 AmsterdamElsevier.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]MFSUNC023705GBOxfordSUNL000020AmsterdamSUNL001716Buss, Samuel R.SUNV042870ElsevierSUNV000127650ITSOL20201012RICAhttps://books.google.it/books?id=MfTMDeCq7ukC&printsec=frontcover&hl=itSUN0054507UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0656 08 6374 I 20061016 Handbook of proof theory851496UNICAMPANIA