01184nam0 2200277 i 450 VAN005466220240129122846.689978-04-86634-62-320061020d1977 |0itac50 baengUS|||| |||||Foundations of mathematical logicHaskell B. CurryNew YorkDover1977VIII, 408 p.ill.21 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MFUSNew YorkVANL000011CurryHaskell B.VANV043235557Dover <editore>VANV108158650ITSOL20240202RICAhttps://books.google.it/books?id=27dkTJFrLZIC&pg=PA125&dq=9780486634623&hl=it&sa=X&ved=0ahUKEwimkMbB37nbAhVFaVAKHdoaBI0Q6AEIJzAA#v=onepage&q&f=falsePreviewBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0054662BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0982 08 1985 I 20061020 Foundations of mathematical logic353314UNICAMPANIA