Verfügbarkeit: Foundations without foundationalism :

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.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Shapiro, Stewart, 1951-
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Oxford : Clarendon Press, ©1991.
Schriftenreihe:	Oxford logic guides ; 17. Oxford science publications.
Schlagworte:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Wiskundige logica. Mathematical foundations Philosophy of mathematics Logic and methodology
Online-Zugang:	Volltext
Zusammenfassung:	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.
Beschreibung:	1 online resource (xx, 277 pages)
Bibliographie:	Includes bibliographical references and index.
ISBN:	9780198533917 0198533918 9780198250296 0198250290

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn316582812
003	OCoLC
005	20241004212047.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
082	7		\|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 MAIN
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. \|0 http://id.loc.gov/authorities/subjects/sh85078115
650		6	\|a Logique symbolique et mathé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 mathématique. \|2 ram
653			\|a Mathematical foundations
653			\|a Philosophy of mathematics
653			\|a Logic and methodology
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	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=264779 \|3 Volltext
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 GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn316582812
_version_	1816881689432948736
adam_text
any_adam_object
author	Shapiro, Stewart, 1951-
author_facet	Shapiro, Stewart, 1951-
author_role
author_sort	Shapiro, Stewart, 1951-
author_variant	s s ss
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9 .S48 1991eb
callnumber-search	QA9 .S48 1991eb
callnumber-sort	QA 19 S48 41991EB
callnumber-subject	QA - Mathematics
collection	ZDB-4-EBA
contents	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.
ctrlnum	(OCoLC)316582812
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03339cam a2200709 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn316582812</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">090320s1991 enk ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LGG</subfield><subfield code="d">UBY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STBDS</subfield><subfield code="d">AGLDB</subfield><subfield code="d">FIE</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">YOU</subfield><subfield code="d">STF</subfield><subfield code="d">SOI</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">EZ9</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">252557856</subfield><subfield code="a">1200106845</subfield><subfield code="a">1256318698</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198533917</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198533918</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198250296</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198250290</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198250290</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316582812</subfield><subfield code="z">(OCoLC)252557856</subfield><subfield code="z">(OCoLC)1200106845</subfield><subfield code="z">(OCoLC)1256318698</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield><subfield code="b">.S48 1991eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">08.33</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">*03-02</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03A05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B15</subfield><subfield code="2">msc</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shapiro, Stewart,</subfield><subfield code="d">1951-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations without foundationalism :</subfield><subfield code="b">a case for second-order logic /</subfield><subfield code="c">Stewart Shapiro.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Oxford :</subfield><subfield code="b">Clarendon Press,</subfield><subfield code="c">©1991.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xx, 277 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford logic guides ;</subfield><subfield code="v">17</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Oxford science publications</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Wiskundige logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical foundations</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Philosophy of mathematics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logic and methodology</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Shapiro, Stewart, 1951-</subfield><subfield code="t">Foundations without foundationalism.</subfield><subfield code="d">Oxford : Clarendon Press, ©1991</subfield><subfield code="z">0198533918</subfield><subfield code="z">9780198533917</subfield><subfield code="w">(DLC) 91014355</subfield><subfield code="w">(OCoLC)23463752</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides ;</subfield><subfield code="v">17.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford science publications.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=264779</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL3052867</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">264779</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Oxford University Press USA</subfield><subfield code="b">OUPR</subfield><subfield code="n">EDZ0000075450</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2995488</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11587056</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocn316582812
illustrated	Not Illustrated
indexdate	2024-11-27T13:16:42Z
institution	BVB
isbn	9780198533917 0198533918 9780198250296 0198250290
language	English
oclc_num	316582812
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource (xx, 277 pages)
psigel	ZDB-4-EBA
publishDate	1991
publishDateSearch	1991
publishDateSort	1991
publisher	Clarendon Press,
record_format	marc
series	Oxford logic guides ; Oxford science publications.
series2	Oxford logic guides ; Oxford science publications
spelling	Shapiro, Stewart, 1951- Foundations without foundationalism : a case for second-order logic / Stewart Shapiro. Oxford : Clarendon Press, ©1991. 1 online resource (xx, 277 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier Oxford logic guides ; 17 Oxford science publications Includes bibliographical references and index. 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. 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. Print version record. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Wiskundige logica. gtt Logique symbolique et mathématique. ram Mathematical foundations Philosophy of mathematics Logic and methodology Print version: Shapiro, Stewart, 1951- Foundations without foundationalism. Oxford : Clarendon Press, ©1991 0198533918 9780198533917 (DLC) 91014355 (OCoLC)23463752 Oxford logic guides ; 17. Oxford science publications. FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=264779 Volltext
spellingShingle	Shapiro, Stewart, 1951- Foundations without foundationalism : a case for second-order logic / Oxford logic guides ; Oxford science publications. 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. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Wiskundige logica. gtt Logique symbolique et mathématique. ram
subject_GND	http://id.loc.gov/authorities/subjects/sh85078115
title	Foundations without foundationalism : a case for second-order logic /
title_auth	Foundations without foundationalism : a case for second-order logic /
title_exact_search	Foundations without foundationalism : a case for second-order logic /
title_full	Foundations without foundationalism : a case for second-order logic / Stewart Shapiro.
title_fullStr	Foundations without foundationalism : a case for second-order logic / Stewart Shapiro.
title_full_unstemmed	Foundations without foundationalism : a case for second-order logic / Stewart Shapiro.
title_short	Foundations without foundationalism :
title_sort	foundations without foundationalism a case for second order logic
title_sub	a case for second-order logic /
topic	Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Wiskundige logica. gtt Logique symbolique et mathématique. ram
topic_facet	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Wiskundige logica.
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=264779
work_keys_str_mv	AT shapirostewart foundationswithoutfoundationalismacaseforsecondorderlogic

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge