LEADER 01412nam2-2200409li-450 001 990000202740203316 005 20180312154611.0 010 $a3-540-55707-5 035 $a0020274 035 $aUSA010020274 035 $a(ALEPH)000020274USA01 035 $a0020274 100 $a20001109d1992----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aLogical foundations of computer science$eTver'92$eTver, Russia, July 20-24, 1992$eproceedings$fA. Nerode (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1992 215 $aIX, 514 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v620 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$atver$a1992 610 1 $alinguaggi di programmazione$acongressi$a1990 610 1 $alogica matematica$acongressi$a1992 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aNerode,$bAnil 801 $aSistema bibliotecario di Ateneo dell' Universitą di Salerno$gRICA 912 $a990000202740203316 951 $a001 LNCS (620)$b0014571$c001$d00102696 959 $aBK 969 $aSCI 979 $c19930304 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010126$lUSA01$h1816 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aLogical Foundations of Computer Science$9772536 997 $aUNISA LEADER 02415nam 2200421 n 450 001 996389887603316 005 20200824121226.0 035 $a(CKB)4940000000101760 035 $a(EEBO)2240888977 035 $a(UnM)99839395e 035 $a(UnM)99839395 035 $a(EXLCZ)994940000000101760 100 $a19901211d1600 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 00$aTractatus doctissimi viri Guilielmi Whitakeri, nuper Sacrę Theologię in Academia Cantabrigiensi Doctoris & Professoris Regij, & Colleij s. Ioannis Evangelistę in eadem Academia pręfecti. De peccato originali. In tres libros distributus, adversu?s tres primos libros Thomę Stapletoni de vniversa iustificationis doctrina hodie? controversa. Editus opera et cvra Ioannis Allenson Sacra Theologię Baccalaurei & Collegij prędicti socij$b[electronic resource] 210 $a[Cambridge?] $cEx officina Iohannis Legat florentissimę Academię Cantabrigiensis Typographi$d1600 215 $a[4], 346 [i.e. 316], [14] [i.e. 12] p 300 $aJohn Legatt worked as a printer in Cambridge and London 1586-1620. 300 $aErrata on recto of Z4, final leaf. 300 $aPages 250-279 missing in number only. 300 $aSome print faded and show-through, and some pages torn; imperfect as filmed; Z3v and Z4r not filmed; these leaves from British Library copy spliced at end. 300 $aReproduction of the original in the Bodleian Library. 330 $aeebo-0014 606 $aSin, Original$xHistory of doctrines$vEarly works to 1800 606 $aJustification$vEarly works to 1800 615 0$aSin, Original$xHistory of doctrines 615 0$aJustification 700 $aWhitaker$b William$f1548-1595.$01003812 701 $aAllenson$b John$fd. 1619.$01013347 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996389887603316 996 $aTractatus doctissimi viri Guilielmi Whitakeri, nuper Sacrę Theologię in Academia Cantabrigiensi Doctoris & Professoris Regij, & Colleij s. Ioannis Evangelistę in eadem Academia pręfecti. De peccato originali. In tres libros distributus, adversu?s tres primos libros Thomę Stapletoni de vniversa iustificationis doctrina hodie? controversa. Editus opera et cvra Ioannis Allenson Sacra Theologię Baccalaurei & Collegij prędicti socij$92423076 997 $aUNISA