01110nam0 2200265 i 450 SUN005466220180604115853.202978-04-86634-62-30.0020061020d1977 |0engc50 baengUS|||| |||||*Foundations of mathematical logicHaskell B. CurryNew YorkDover1977VIII, 408 p.ill.21 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750USNew YorkSUNL000011Curry, Haskell B.SUNV043235557DoverSUNV000279650ITSOL20200720RICAhttps://books.google.it/books?id=27dkTJFrLZIC&pg=PA125&dq=9780486634623&hl=it&sa=X&ved=0ahUKEwimkMbB37nbAhVFaVAKHdoaBI0Q6AEIJzAA#v=onepage&q&f=falsePreviewSUN0054662UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0982 08 1985 I 20061020 Foundations of mathematical logic353314UNICAMPANIA