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.
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Oxford :
Clarendon Press,
©1991.
|
| Series: | Oxford logic guides ;
17. Oxford science publications. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
MARC
| Tag | First Indicator | Second Indicator | Subfields |
|---|---|---|---|
| LEADER | 00000cam a2200000 a 4500 | ||
| 001 | in00005703521 | ||
| 005 | 20260318174218.8 | ||
| 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 |d OCLCQ |d CLOUD |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 252557856 |a 1200106845 |a 1256318698 |a 1492350449 | ||
| 020 | |a 9780198533917 |q (electronic bk.) | ||
| 020 | |a 0198533918 |q (electronic bk.) | ||
| 020 | |a 9780198250296 | ||
| 020 | |a 0198250290 | ||
| 020 | |z 0198250290 | ||
| 020 | |a 9780191524011 | ||
| 020 | |a 0191524018 | ||
| 035 | |a (OCoLC)316582812 |z (OCoLC)252557856 |z (OCoLC)1200106845 |z (OCoLC)1256318698 |z (OCoLC)1492350449 | ||
| 037 | |a w9bbxg9 |b cloudLibrary |n https://yourcloudlibrary.com | ||
| 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 TXAM | ||
| 100 | 1 | |a Shapiro, Stewart, |d 1951- |1 https://id.oclc.org/worldcat/entity/E39PBJktrrFfVdHwdDPPJQ4cyd | |
| 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. | |
| 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 | ||
| 655 | 7 | |a Electronic books. |2 local | |
| 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 http://proxy.library.tamu.edu/login?url=https://academic.oup.com/book/26136 |z Connect to the full text of this electronic book |t 0 |
| 955 | |a Oxford Scholarship Online | ||
| 994 | |a 92 |b TXA | ||
| 999 | f | f | |i f25e38aa-67d8-4218-8e49-94c12071a813 |s 111806b8-f601-49b4-981d-fc7df073e75d |t 0 |
| 952 | f | f | |a Texas A&M University |b College Station |c Electronic Resources |s www_evans |d Available Online |t 0 |e QA9 .S48 1991eb |h Library of Congress classification |
| 998 | f | f | |a QA9 .S48 1991eb |t 0 |l Available Online |