01190nam0 2200277 i 450 VAN005480420231220122846.96708-17-64249-820061024d2002 |0itac50 baengUS|||| |||||Foundations of logic and mathematicsapplications to computer science and cryptographyYves NievergeltBostonBirkhäuser2002XVI, 415 p.ill.26 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MFBostonVANL000051NievergeltYvesVANV02255622951Birkhäuser <editore>VANV108193650ITSOL20231222RICA/sebina/repository/catalogazione/documenti/Nievergelt - Foundations of logic and mathematics.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0054804BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3029 08 6727 I 20061024 Foundations of logic and mathematics1425000UNICAMPANIA