02549nac# 2200373 i 450 VAN005267920240207114200.4702297-057602297058420060925a1980 |0itac50 baCH|||| |||||b||||||||||Progress in computer science and applied logicBasel [etc.]Birkhäuser001VAN02538412001 ˆThe ‰Evolution of ProgramsNachum Dershowitz210 BostonBirkhäuser1983215 v, 359 p.ill.24 cm5001VAN00513232001 Logic for computer scientistsUwe Schoning210 BostonBirkhäuser1989215 166 p.ill.24 cm8001VAN01031422001 Mathematical logicfoundations for information scienceWei Li205 2. revised ed210 BaselBirkhäuserSpringer2014215 XIV, 301 p.ill.24 cm25001VAN01033852001 Perspectives in computational complexitythe Somenath Biswas anniversary volumeManindra Agrawal, Vikraman Arvind editors210 ChamBirkhäuserSpringer2014215 X, 202 p.24 cm26001VAN01143642001 Advances in proof theoryReinhard Kahle, Thomas Strahm, Thomas Studer editors210 [Basel]BirkhäuserSpringer2016215 XII, 425 p.ill.24 cm28001VAN01272002001 Temporal Type TheoryA Topos-Theoretic Approach to Systems and BehaviorPatrick Schultz, David I. Spivak210 ChamBirkhäuser2019215 viii, 235 p.ill.24 cm29001VAN00569802001 Logical methodsin honor of Anil Nerode's sixtieth birthdayJohn N. Crossley ... [et al.]210 BostonBirkhäuser1993215 XII, 813 p.24 cm12001VAN00532002001 Learning and geometrycomputational approachesDavid Kueker, Carl Smith editors210 Boston [etc.]Birkhäuser1996215 XIII, 210 p.ill.26 cm14001VAN00555962001 Automata theory and its applicationsBakhadyr Khoussainov, Anil Nerode210 Boston [etc.]Birkhäuser2001215 XIV, 430 p.24 cm21VAN0241869PCSBostonVANL000051CHChamVANL001889BaselVANL002076Birkhäuser <editore>VANV108193650ITSOL20240209RICAhttps://www.springer.com/series/4814https://www.springer.com/series/4814VAN0052679Progress in computer science and applied logic1572075UNICAMPANIA