Cargando…

Foundations without foundationalism : a case for second-order logic /

Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Shapiro, Stewart, 1951-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Oxford : Clarendon Press, ©1991.
Colección:Oxford logic guides ; 17.
Oxford science publications.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocn316582812
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cnu---unuuu
008 090320s1991 enk ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d OCLCQ  |d LGG  |d UBY  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCF  |d OCLCQ  |d NLGGC  |d YDXCP  |d OCLCQ  |d EBLCP  |d OCLCQ  |d STBDS  |d AGLDB  |d FIE  |d ZCU  |d MERUC  |d OCLCQ  |d VTS  |d ICG  |d VT2  |d U3W  |d OCLCQ  |d WYU  |d YOU  |d STF  |d SOI  |d AU@  |d OCLCQ  |d K6U  |d OCLCQ  |d AJS  |d EZ9  |d UAB  |d OCLCQ  |d OCLCO  |d SFB  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 252557856  |a 1200106845  |a 1256318698 
020 |a 9780198533917  |q (electronic bk.) 
020 |a 0198533918  |q (electronic bk.) 
020 |a 9780198250296 
020 |a 0198250290 
020 |z 0198250290 
029 1 |a DEBBG  |b BV043137646 
029 1 |a DEBBG  |b BV044094185 
029 1 |a DEBSZ  |b 422021466 
029 1 |a NZ1  |b 15852283 
029 1 |a AU@  |b 000074675476 
035 |a (OCoLC)316582812  |z (OCoLC)252557856  |z (OCoLC)1200106845  |z (OCoLC)1256318698 
050 4 |a QA9  |b .S48 1991eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3  |2 22 
084 |a 08.33  |2 bcl 
084 |a 31.10  |2 bcl 
084 |a *03-02  |2 msc 
084 |a 03A05  |2 msc 
084 |a 03B15  |2 msc 
049 |a UAMI 
100 1 |a Shapiro, Stewart,  |d 1951- 
245 1 0 |a Foundations without foundationalism :  |b a case for second-order logic /  |c Stewart Shapiro. 
260 |a Oxford :  |b Clarendon Press,  |c ©1991. 
300 |a 1 online resource (xx, 277 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Oxford logic guides ;  |v 17 
490 1 |a Oxford science publications 
504 |a Includes bibliographical references and index. 
505 0 |a Terms and questions -- Foundationalism and foundations of mathematics -- Theory -- Metatheory -- Second-order logic and mathematics -- Advanced metatheory -- The historical "triumph" of first-order languages -- Second-order logic and rule-following -- The competition. 
520 8 |a Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations. 
588 0 |a Print version record. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 1 7 |a Wiskundige logica.  |2 gtt 
650 7 |a Logique symbolique et mathématique.  |2 ram 
653 |a Mathematical foundations 
653 |a Philosophy of mathematics 
653 |a Logic and methodology 
758 |i has work:  |a Foundations without foundationalism (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCFBbYTfXrrQWQKvJpJqyBd  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Shapiro, Stewart, 1951-  |t Foundations without foundationalism.  |d Oxford : Clarendon Press, ©1991  |z 0198533918  |z 9780198533917  |w (DLC) 91014355  |w (OCoLC)23463752 
830 0 |a Oxford logic guides ;  |v 17. 
830 0 |a Oxford science publications. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3052867  |z Texto completo 
938 |a EBL - Ebook Library  |b EBLB  |n EBL3052867 
938 |a EBSCOhost  |b EBSC  |n 264779 
938 |a Oxford University Press USA  |b OUPR  |n EDZ0000075450 
938 |a YBP Library Services  |b YANK  |n 2995488 
938 |a YBP Library Services  |b YANK  |n 11587056 
994 |a 92  |b IZTAP