LEADER 00978nam2-22003491i-450- 001 990002005130403321 005 20130325124941.0 035 $a000200513 035 $aFED01000200513 035 $a(Aleph)000200513FED01 035 $a000200513 100 $a20090407d1901----km-y0itay50------ba 101 0 $aeng 102 $aGB 105 $ay---a---001yy 200 1 $aPolychaet worms$fW. Blaxland Benham 210 $aLondon$cMcMillan$d1901 215 $ap. [240]-344 225 1 $a<>Cambridge Natural History$h5$iWorms, rotifers and polyzoa$v2 461 0$1001000206414$12001$aWorms, rotifers and polyzoa 610 0 $aZoologia$aTrattati 610 0 $aAnellidi 676 $a595.142 676 $a595.146 700 1$aBenham,$bWilliam Blaxland$084730 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002005130403321 952 $a61 II A.4/013.4$b205$fDAGEN 959 $aDAGEN 996 $aPolychaet worms$9402941 997 $aUNINA LEADER 01355nam0-22004811i-450- 001 990001060610403321 005 20160316155215.0 035 $a000106061 035 $aFED01000106061 035 $a(Aleph)000106061FED01 035 $a000106061 100 $a20001205d1956----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa-------001yy 200 1 $aAutomata studies$fedited by Claude S. Shannon and J. McCarthy 210 $aPrinceton [N.J.]$cPrinceton University Press$d1956 215 $aviii, 286 p.$cill.$d26 cm 225 1 $aAnnals of mathematics studies$v34 610 0 $aCibernetica 610 0 $aTeoria dei giochi 610 0 $aTeoria degli automi 610 0 $aIntelligenza artificiale 610 0 $aTeoria dell'informazione 676 $a510.78 700 1$aShannon,$bClaude Elwood$02688 702 1$aMcCarthy,$bJohn$f<1927- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001060610403321 952 $a8-005.002$b543$fFI1 952 $a8-005.003$b10149$fFI1 952 $a10 C 107$b382 CCE$fDINEL 952 $a8-005.001$b544$fFI1 952 $a8-005$b563$fFI1 952 $aMXXIX-A-342$b1521$fMAS 952 $aC-11-(34$b2218$fMA1 959 $aFI1 959 $aMAS 959 $aDINEL 959 $aMA1 996 $aAutomata studies$9340476 997 $aUNINA LEADER 01675nam0 2200337 i 450 001 VAN0053672 005 20231215051848.50 010 $a978-03-87986-55-5 100 $a20060928d2000 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆA ‰course in model theory$ean introduction to contemporary mathematical logic$fBruno Poizat$gtranslated by Moses Klein 210 $aNew York$cSpringer$d2000 215 $aXXXI, 443 p.$d24 cm 300 $aSul front.: Nur al-mantiq walma'rifah 410 1$1001VAN0024506$12001 $aUniversitext$1210 $aBerlin [etc]$cSpringer$d1930- 500 1$3VAN0268899$aCours de théorie des modèles : Une introduction à la logique mathématique contemporaine$93654915 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 620 $aUS$dNew York$3VANL000011 700 1$aPoizat$bBruno$3VANV042367$062784 702 1$aKlein$bMoses$3VANV042368$4730 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Poizat - A course in model theory.An introduction to contemporary mathematical logic.pdf$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0053672 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 3400 $e08 5340 I 20060928 996 $aCours de théorie des modèles : Une introduction à la logique mathématique contemporaine$93654915 997 $aUNICAMPANIA