|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
ocn316582812 |
003 |
OCoLC |
005 |
20240909213021.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
|d OCLCQ
|
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
|
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
|
049 |
|
|
|a HCDD
|
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.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
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
|
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://holycross.idm.oclc.org/login?auth=cas&url=https://academic.oup.com/book/26136
|y Click for online access
|
856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=3052867
|y Click for online access
|
903 |
|
|
|a OUP-SOEBA
|
903 |
|
|
|a EBC-AC
|
994 |
|
|
|a 92
|b HCD
|