LEADER 02549nac# 2200373 i 450 
001 VAN0052679
005 20240207114200.470
011   $a2297-0576
017 70$20$a22970584
100   $a20060925a1980       |0itac50      ba
102   $aCH
105   $a||||    |||||
110   $ab||||||||||
200 1 $aProgress in computer science and applied logic
210   $aBasel [etc.]$cBirkhäuser
463  1$1001VAN0253841$12001 $aˆThe ‰Evolution of Programs$fNachum Dershowitz$1210  $aBoston$cBirkhäuser$d1983$1215  $av, 359 p.$cill.$d24 cm$v5
463  1$1001VAN0051323$12001 $aLogic for computer scientists$fUwe Schoning$1210  $aBoston$cBirkhäuser$d1989$1215  $a166 p.$cill.$d24 cm$v8
463  1$1001VAN0103142$12001 $aMathematical logic$efoundations for information science$fWei Li$1205  $a2. revised ed$1210  $aBasel$cBirkhäuser$cSpringer$d2014$1215  $aXIV, 301 p.$cill.$d24 cm$v25
463  1$1001VAN0103385$12001 $aPerspectives in computational complexity$ethe Somenath Biswas anniversary volume$fManindra Agrawal, Vikraman Arvind editors$1210  $aCham$cBirkhäuser$cSpringer$d2014$1215  $aX, 202 p.$d24 cm$v26
463  1$1001VAN0114364$12001 $aAdvances in proof theory$fReinhard Kahle, Thomas Strahm, Thomas Studer editors$1210  $a[Basel]$cBirkhäuser$cSpringer$d2016$1215  $aXII, 425 p.$cill.$d24 cm$v28
463  1$1001VAN0127200$12001 $aTemporal Type Theory$eA Topos-Theoretic Approach to Systems and Behavior$fPatrick Schultz, David I. Spivak$1210  $aCham$cBirkhäuser$d2019$1215  $aviii, 235 p.$cill.$d24 cm$v29
463  1$1001VAN0056980$12001 $aLogical methods$ein honor of Anil Nerode's sixtieth birthday$fJohn N. Crossley ... [et al.]$1210  $aBoston$cBirkhäuser$d1993$1215  $aXII, 813 p.$d24 cm$v12
463  1$1001VAN0053200$12001 $aLearning and geometry$ecomputational approaches$fDavid Kueker, Carl Smith editors$1210  $aBoston [etc.]$cBirkhäuser$d1996$1215  $aXIII, 210 p.$cill.$d26 cm$v14
463  1$1001VAN0055596$12001 $aAutomata theory and its applications$fBakhadyr Khoussainov, Anil Nerode$1210  $aBoston [etc.]$cBirkhäuser$d2001$1215  $aXIV, 430 p.$d24 cm$v21
517  1$3VAN0241869$aPCS
620   $dBoston$3VANL000051
620   $aCH$dCham$3VANL001889
620   $dBasel$3VANL002076
712   $aBirkhäuser <editore>$3VANV108193$4650
801   $aIT$bSOL$c20240209$gRICA
856 4 $uhttps://www.springer.com/series/4814$zhttps://www.springer.com/series/4814
912   $aVAN0052679
996   $aProgress in computer science and applied logic$91572075
997   $aUNICAMPANIA