Verfügbarkeit: Proof, logic, and formalization

Proof, logic, and formalization:

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	London Routledge 1992
Schlagworte:	Preuve, Théorie de la Logique symbolique et mathématique Mathématiques / Philosophie MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Proof theory Preuve, théorie de la Mathematik Beweistheorie Beweis Logik Aufsatzsammlung
Online-Zugang:	FAW01 FAW02 Volltext
Beschreibung:	Includes bibliographical references and index A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification
Beschreibung:	1 Online-Ressource (x, 241 pages)
ISBN:	0203980255 0415023351 9780203980255

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043085398
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	151126s1992 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 0203980255 \|9 0-203-98025-5
020			\|a 0415023351 \|9 0-415-02335-1
020			\|a 9780203980255 \|9 978-0-203-98025-5
035			\|a (OCoLC)60855281
035			\|a (DE-599)BVBBV043085398
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-1046 \|a DE-1047
082	0		\|a 511.3 \|2 22
245	1	0	\|a Proof, logic, and formalization \|c edited by Michael Detlefsen
264		1	\|a London \|b Routledge \|c 1992
300			\|a 1 Online-Ressource (x, 241 pages)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Includes bibliographical references and index
500			\|a A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification
650		4	\|a Preuve, Théorie de la
650		4	\|a Logique symbolique et mathématique
650		4	\|a Mathématiques / Philosophie
650		7	\|a MATHEMATICS / Infinity \|2 bisacsh
650		7	\|a MATHEMATICS / Logic \|2 bisacsh
650		7	\|a Logic, Symbolic and mathematical \|2 fast
650		7	\|a Proof theory \|2 fast
650		7	\|a Preuve, théorie de la \|2 ram
650		7	\|a Logique symbolique et mathématique \|2 ram
650		4	\|a Proof theory
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0	1	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	0		\|8 2\p \|5 DE-604
689	1	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1	1	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	1		\|8 3\p \|5 DE-604
689	2	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	2		\|8 4\p \|5 DE-604
700	1		\|a Detlefsen, Michael \|e Sonstige \|4 oth
856	4	0	\|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981 \|x Aggregator \|3 Volltext
912			\|a ZDB-4-EBA
999			\|a oai:aleph.bib-bvb.de:BVB01-028509590
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981 \|l FAW01 \|p ZDB-4-EBA \|q FAW_PDA_EBA \|x Aggregator \|3 Volltext
966	e		\|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981 \|l FAW02 \|p ZDB-4-EBA \|q FAW_PDA_EBA \|x Aggregator \|3 Volltext

Datensatz im Suchindex

_version_	1804175481209094144
any_adam_object
building	Verbundindex
bvnumber	BV043085398
collection	ZDB-4-EBA
ctrlnum	(OCoLC)60855281 (DE-599)BVBBV043085398
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>03040nmm a2200697zc 4500</leader><controlfield tag="001">BV043085398</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">151126s1992 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203980255</subfield><subfield code="9">0-203-98025-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415023351</subfield><subfield code="9">0-415-02335-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203980255</subfield><subfield code="9">978-0-203-98025-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)60855281</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043085398</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof, logic, and formalization</subfield><subfield code="c">edited by Michael Detlefsen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Routledge</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 241 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques / Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / 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=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Detlefsen, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028509590</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufsatzsammlung
id	DE-604.BV043085398
illustrated	Not Illustrated
indexdate	2024-07-10T07:16:58Z
institution	BVB
isbn	0203980255 0415023351 9780203980255
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028509590
oclc_num	60855281
open_access_boolean
owner	DE-1046 DE-1047
owner_facet	DE-1046 DE-1047
physical	1 Online-Ressource (x, 241 pages)
psigel	ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA
publishDate	1992
publishDateSearch	1992
publishDateSort	1992
publisher	Routledge
record_format	marc
spelling	Proof, logic, and formalization edited by Michael Detlefsen London Routledge 1992 1 Online-Ressource (x, 241 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification Preuve, Théorie de la Logique symbolique et mathématique Mathématiques / Philosophie MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Proof theory fast Preuve, théorie de la ram Logique symbolique et mathématique ram Proof theory Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Logik (DE-588)4036202-4 s Mathematik (DE-588)4037944-9 s 2\p DE-604 Beweis (DE-588)4132532-1 s 3\p DE-604 Beweistheorie (DE-588)4145177-6 s 4\p DE-604 Detlefsen, Michael Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Proof, logic, and formalization Preuve, Théorie de la Logique symbolique et mathématique Mathématiques / Philosophie MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Proof theory fast Preuve, théorie de la ram Logique symbolique et mathématique ram Proof theory Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd Beweistheorie (DE-588)4145177-6 gnd Beweis (DE-588)4132532-1 gnd Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4037944-9 (DE-588)4145177-6 (DE-588)4132532-1 (DE-588)4036202-4 (DE-588)4143413-4
title	Proof, logic, and formalization
title_auth	Proof, logic, and formalization
title_exact_search	Proof, logic, and formalization
title_full	Proof, logic, and formalization edited by Michael Detlefsen
title_fullStr	Proof, logic, and formalization edited by Michael Detlefsen
title_full_unstemmed	Proof, logic, and formalization edited by Michael Detlefsen
title_short	Proof, logic, and formalization
title_sort	proof logic and formalization
topic	Preuve, Théorie de la Logique symbolique et mathématique Mathématiques / Philosophie MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Proof theory fast Preuve, théorie de la ram Logique symbolique et mathématique ram Proof theory Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd Beweistheorie (DE-588)4145177-6 gnd Beweis (DE-588)4132532-1 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Preuve, Théorie de la Logique symbolique et mathématique Mathématiques / Philosophie MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Proof theory Preuve, théorie de la Mathematik Beweistheorie Beweis Logik Aufsatzsammlung
url	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=134981
work_keys_str_mv	AT detlefsenmichael prooflogicandformalization

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge