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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| 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 | ||