01458nam0 2200325 i 450 VAN0004419620240806100431.1608-17-64220-X20060413d2002 |0itac50 baengUS|||| |||||Handbook of logic and proof techniques for computer scienceSteven G. KrantzBostonBirkhäuser2002XIX, 245 p.24 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MFBostonVANL000051KrantzSteven G.VANV03567855961Birkhäuser <editore>VANV108193650Krantz, Steven GeorgeKrantz, Steven G.VANV235709Krantz, S.G.Krantz, Steven G.VANV235710Krantz, S. G.Krantz, Steven G.VANV235711ITSOL20241115RICA/sebina/repository/catalogazione/documenti/Krantz - Handbook of logic and proof techniques for computer science.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00044196BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 68-XX 2264 08 6717 I 20060413 Handbook of logic and proof techniques for computer science1421320UNICAMPANIA