Cargando…

The future of post-human mathematical logic /

Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier? Contrary to conventional wi.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Baofu, Peter
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Newcastle : Cambridge Scholars, ©2008.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBSCO_ocn682097742
003 OCoLC
005 20231017213018.0
006 m o d
007 cr bn||||||abp
007 cr bn||||||ada
008 101117s2008 enk ob 001 0 eng d
010 |z  2009396282 
040 |a OCLCE  |b eng  |e pn  |c OCLCE  |d OCLCQ  |d N$T  |d CNCGM  |d IDEBK  |d YDXCP  |d MHW  |d DEBSZ  |d OCLCQ  |d MERUC  |d VTS  |d OCLCQ  |d STF  |d M8D  |d AGLDB  |d VLY  |d ELBRO  |d OCLCQ  |d OCLCO  |d DST  |d OCLCO  |d OCLCQ 
019 |a 622472817  |a 656454049  |a 666945848  |a 816311953  |a 828869927  |a 845252816  |a 1158266502  |a 1159682344  |a 1162003135  |a 1178727129  |a 1187188134  |a 1193336015  |a 1241773770  |a 1300456180 
020 |a 9781443806213  |q (electronic bk.) 
020 |a 1443806218  |q (electronic bk.) 
020 |a 1282190113 
020 |a 9781282190115 
020 |a 9786612190117 
020 |a 6612190116 
020 |z 9781443800334  |q (hbk.) 
020 |z 1443800333  |q (hbk.) 
029 1 |a AU@  |b 000062461834 
029 1 |a DEBBG  |b BV043058378 
029 1 |a DEBSZ  |b 397519745 
029 1 |a DEBSZ  |b 446469904 
035 |a (OCoLC)682097742  |z (OCoLC)622472817  |z (OCoLC)656454049  |z (OCoLC)666945848  |z (OCoLC)816311953  |z (OCoLC)828869927  |z (OCoLC)845252816  |z (OCoLC)1158266502  |z (OCoLC)1159682344  |z (OCoLC)1162003135  |z (OCoLC)1178727129  |z (OCoLC)1187188134  |z (OCoLC)1193336015  |z (OCoLC)1241773770  |z (OCoLC)1300456180 
037 |a 219011  |b MIL 
042 |a dlr 
050 4 |a QA9  |b B25 2008 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
072 7 |a MZX  |2 bicssc 
082 0 4 |a 511.3  |2 22 
049 |a UAMI 
100 1 |a Baofu, Peter. 
245 1 4 |a The future of post-human mathematical logic /  |c by Peter Baofu. 
260 |a Newcastle :  |b Cambridge Scholars,  |c ©2008. 
300 |a 1 online resource (xx, 296 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
588 0 |a Print version record. 
520 |a Why should mathematical logic be grounded on the basis of some formal requirements in the way that it has been developed since its classical emergence as a hybrid field of mathematics and logic in the 19th century or earlier? Contrary to conventional wi. 
505 0 |a pt. 1. Introduction -- pt. 2. Consistency -- pt. 3. Soundness -- pt. 4. Completeness -- pt. 5. Conclusion. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Logic, Symbolic and mathematical  |x Philosophy. 
650 6 |a Logique symbolique et mathématique  |x Philosophie. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
776 0 8 |i Print version:  |a Baofu, Peter.  |t Future of post-human mathematical logic.  |d Newcastle : Cambridge Scholars, ©2008  |w (DLC) 2009396282  |w (OCoLC)299239812 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=539446  |z Texto completo 
938 |a EBSCOhost  |b EBSC  |n 539446 
938 |a eLibro  |b ELBO  |n ELB127241 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 219011 
938 |a YBP Library Services  |b YANK  |n 9996198 
994 |a 92  |b IZTAP