LEADER 01528nlm2 22003259 450 001 996459352903316 005 20220309093755.0 100 $a20150109h2014---- uy 0 101 0 $aeng 102 $aNL 135 $adrcnu 200 1 $a<<9.:>> Computational logic$fedited by Dov M. Gabbay, Jo?rg H. Siekmann, John Woods 210 1 $aAmsterdam$cNorth Holland$d2014 215 $aTesto elettronico (PDF) (736 p.) 230 $aBase dati testuale 330 $aHandbook of the History of Logic porta allo sviluppo della logica il meglio delle moderne tecniche di studio storico e interpretativo. La logica computazionale nasce nel XX secolo e si evolve in stretta simbiosi con l'avvento dei primi computer elettronici e la crescente importanza dell'informatica, dell'informatica e dell'intelligenza artificiale. Con pių di diecimila persone che lavorano nella ricerca e sviluppo di logica e metodi legati alla logica, con diverse dozzine di conferenze internazionali e molte volte pių workshop che affrontano la crescente ricchezza e diversificazione 461 $1001996459352803316$aHandbook of the History of Logic 606 0 $aLogica matematica$2BNCF 676 $a511.3 702 1$aGABBAY,$bDov M.$f1945- 702 1$aSIEKEMANN,$bJo?rg H. 702 1$aWOODS,$bJohn Hayden 801 0$bcba$aIT$bcba$gREICAT 801 1$bcba$aIT$bcba$gREICAT 801 2$bcba$aIT$bcba$gREICAT 912 $a996459352903316 959 $aEB 969 $aER 996 $aComputational logic$91490021 997 $aUNISA LEADER 01673nam 2200409Ia 450 001 996387386603316 005 20200824132633.0 035 $a(CKB)4940000000084682 035 $a(EEBO)2248537786 035 $a(OCoLC)ocm24328956e 035 $a(OCoLC)24328956 035 $a(EXLCZ)994940000000084682 100 $a19910904d1633 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe mirrour of martyrs$b[electronic resource] $ethe first and second part : in a short view lively expressing the force of their faith, the fervency of their loue, the wisdome of their sayings, the patience of their suffrings, &c. : with their prayers and preparation for their last farewell, whereunto are added two godly letters written by Master B[rad]ford 205 $aThe fourth edition corrected and enlarged. 210 $aLondon $cPrinted by E.A. for Robert Allot a[n]d are to be sold at his shop in Pauls Church-yard, at the signe of the Blacke Beare$d1633 215 $a[18], 622, [30] p 300 $aDedication signed: Clement Cotton. 300 $aSignatures: Aš˛(-A1) B-2Eš˛. 300 $aIncludes index. 300 $aNumerous errors in paging. 300 $aImperfect: p. 279-282 lacking; tightly bound and slightly faded. 300 $aReproduction of original in the Bodleian Library. 330 $aeebo-0014 606 $aMartyrs$zEngland 615 0$aMartyrs 700 $aCotton$b Clement$01002766 701 $aBradford$b John$f1510?-1555.$01002606 801 0$bEBL 801 1$bEBL 801 2$bWaOLN 906 $aBOOK 912 $a996387386603316 996 $aThe mirrour of martyrs$92408913 997 $aUNISA