LEADER 01845nam 22005294a 450 001 9910454403903321 005 20200520144314.0 010 $a1-56881-500-X 010 $a1-4398-7692-4 035 $a(CKB)1000000000522191 035 $a(SSID)ssj0000279964 035 $a(PQKBManifestationID)11234815 035 $a(PQKBTitleCode)TC0000279964 035 $a(PQKBWorkID)10268238 035 $a(PQKB)10767280 035 $a(MiAaPQ)EBC3059479 035 $a(Au-PeEL)EBL3059479 035 $a(CaPaEBR)ebr10158323 035 $a(OCoLC)922955571 035 $a(EXLCZ)991000000000522191 100 $a20050310d2005 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGo?del's theorem$b[electronic resource] $ean incomplete guide to its use and abuse /$fTorkel Franze?n 210 $aWellesley, MA $cA K Peters$dc2005 215 $ax, 172 p 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-56881-238-8 320 $aIncludes bibliographical references (p. 165-167) and index. 327 $a5050 1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Go?del, minds, and computers -- 7. Go?del's completeness theorem -- 8. Incompleteness, complexity, and infinity 606 $aGo?del's theorem 606 $aIncompleteness theorems 608 $aElectronic books. 615 0$aGo?del's theorem. 615 0$aIncompleteness theorems. 676 $a511.3 700 $aFranze?n$b Torkel$0982549 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910454403903321 996 $aGo?del's theorem$92242413 997 $aUNINA LEADER 00950nam a2200289 i 4500 001 991000908579707536 005 20020507103100.0 008 951204s1964 uk ||| | eng 035 $ab10146714-39ule_inst 035 $aLE00638970$9ExL 040 $aDip.to Fisica$bita 084 $a53.1.4 084 $a53.2.2 084 $a53.5.2 084 $a537.1 084 $aQC670.B42 100 1 $aBecker, Richard$044739 245 10$aElectromagnetic fields and interactions /$cRichard Becker 260 $aLondon :$bBlackie and Son Limited,$cc1964 300 $av. :$bill. ;$c23 cm. 650 4$aElectricity 907 $a.b10146714$b21-09-06$c27-06-02 912 $a991000908579707536 945 $aLE006 53.2.2 BEC$cV. 2$g1$i2006000044622$lle006$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10174710$z27-06-02 996 $aElectromagnetic fields and interactions$9186524 997 $aUNISALENTO 998 $ale006$b01-01-95$cm$da $e-$feng$guk $h0$i1 LEADER 01346nam0 22003011i 450 001 UON00385771 005 20231205104549.566 010 $a978-98-980521-4-8 100 $a20101111d2009 |0itac50 ba 101 $apor 102 $aPT 105 $a|||| ||||| 200 1 $a200 séculos da história do Vale do Côa$eincursões na vida quotidiana dos caçadores-artistas do Paleolítico$fed. Thierry Aubry 210 $aLisboa$cInstituto Portugues de Arqueologia$d2009 215 $a511 p.$cill.$d30 cm 316 $aBiblioteca de Arqueologia - Lisboa$5IT-UONSI O 210752 410 1$1001UON00087949$12001 $aTrabalhos de Arqueologia$v52 606 $aPORTOGALLO$xPreistoria$3UONC033488$2FI 620 $aPT$dLisboa$3UONL003135 676 $a936.6$cSTORIA DELL'ANTICA PENISOLA IBERICA E ISOLE ADIACENTI FINO AL 415$v21 702 1$aAUBRY$bThierry$3UONV077931 712 $aInstituto Portugues de Arqueologia$3UONV260286$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00385771 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI O 2 107 52 $eSI MC 33443 5 Biblioteca de Arqueologia - Lisboa 996 $a200 séculos da história do Vale do Côa$9251184 997 $aUNIOR