Concepts of proof in mathematics, philosophy, and computer science /:
This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin :
De Gruyter,
[2016]
|
| Schriftenreihe: | Ontos mathematical logic ;
v. 6. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields. |
| Beschreibung: | 1 online resource (x, 374 pages .) |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 150150262X 9781501502620 9781501502644 1501502646 |
| ISSN: | 2198-2341 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn958120545 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 160701s2016 gw ob 000 0 eng d | ||
| 040 | |a IDEBK |b eng |e rda |e pn |c IDEBK |d OCLCO |d EBLCP |d YDX |d N$T |d OCLCQ |d OCLCF |d CCO |d MERUC |d FEM |d LOA |d COCUF |d K6U |d PIFAG |d FVL |d OTZ |d COO |d OCLCQ |d IGB |d AGLDB |d ZCU |d D6H |d CN8ML |d OCLCQ |d VTS |d ICG |d VT2 |d OCLCQ |d WYU |d S9I |d STF |d DKC |d OCLCQ |d AJS |d QGK |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d UEJ |d OCLCQ | ||
| 019 | |a 958095513 |a 959272148 |a 960975570 |a 962412356 |a 965141878 |a 966184342 |a 967096922 |a 992497320 |a 993695062 |a 994897934 |a 999641837 |a 1000435869 |a 1001989274 |a 1259195309 | ||
| 020 | |a 150150262X |q (electronic bk.) | ||
| 020 | |a 9781501502620 |q (electronic bk.) | ||
| 020 | |a 9781501502644 |q (electronic bk.) | ||
| 020 | |a 1501502646 |q (electronic bk.) | ||
| 020 | |z 9781501502620 | ||
| 020 | |z 1501502638 | ||
| 020 | |z 1501502646 | ||
| 020 | |z 1501510800 | ||
| 020 | |z 9781501510809 |q (hardcover ; |q alk. paper) | ||
| 024 | 7 | |a 10.1515/9781501502620 |2 doi | |
| 035 | |a (OCoLC)958120545 |z (OCoLC)958095513 |z (OCoLC)959272148 |z (OCoLC)960975570 |z (OCoLC)962412356 |z (OCoLC)965141878 |z (OCoLC)966184342 |z (OCoLC)967096922 |z (OCoLC)992497320 |z (OCoLC)993695062 |z (OCoLC)994897934 |z (OCoLC)999641837 |z (OCoLC)1000435869 |z (OCoLC)1001989274 |z (OCoLC)1259195309 | ||
| 037 | |a 947521 |b MIL | ||
| 050 | 4 | |a QA9.54 |b .C67 2016eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3/6 |2 23 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Concepts of proof in mathematics, philosophy, and computer science / |c edited by Dieter Probst and Peter Schuster. |
| 264 | 1 | |a Berlin : |b De Gruyter, |c [2016] | |
| 300 | |a 1 online resource (x, 374 pages .) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file | ||
| 490 | 1 | |a Ontos mathematical logic, |x 2198-2341 ; |v Volume 6 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields. | ||
| 546 | |a In English. | ||
| 650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 650 | 0 | |a Mathematics. |0 http://id.loc.gov/authorities/subjects/sh85082139 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 2 | |a Mathematics |0 https://id.nlm.nih.gov/mesh/D008433 | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 6 | |a Mathématiques. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 700 | 1 | |a Probst, Dieter, |d 1973- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PCjHydVjkgWcRbrPhdT3GBK |0 http://id.loc.gov/authorities/names/n2016036109 | |
| 700 | 1 | |a Schuster, Peter, |d 1967- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PCjx4YXkWt9XfRpJf3gwkCP |0 http://id.loc.gov/authorities/names/n2003053152 | |
| 776 | 0 | 8 | |i Print version: |z 9781501502620 |
| 830 | 0 | |a Ontos mathematical logic ; |v v. 6. |0 http://id.loc.gov/authorities/names/no2006121879 | |
| 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=1336471 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL4644584 | ||
| 938 | |a EBSCOhost |b EBSC |n 1336471 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis31249444 | ||
| 938 | |a YBP Library Services |b YANK |n 12213985 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn958120545 |
|---|---|
| _version_ | 1816882360891736064 |
| adam_text | |
| any_adam_object | |
| author2 | Probst, Dieter, 1973- Schuster, Peter, 1967- |
| author2_role | edt edt |
| author2_variant | d p dp p s ps |
| author_GND | http://id.loc.gov/authorities/names/n2016036109 http://id.loc.gov/authorities/names/n2003053152 |
| author_facet | Probst, Dieter, 1973- Schuster, Peter, 1967- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 .C67 2016eb |
| callnumber-search | QA9.54 .C67 2016eb |
| callnumber-sort | QA 19.54 C67 42016EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)958120545 |
| dewey-full | 511.3/6 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/6 |
| dewey-search | 511.3/6 |
| dewey-sort | 3511.3 16 |
| 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>03976cam a2200733 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn958120545</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |n|||||||||</controlfield><controlfield tag="008">160701s2016 gw ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">IDEBK</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">IDEBK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">YDX</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">CCO</subfield><subfield code="d">MERUC</subfield><subfield code="d">FEM</subfield><subfield code="d">LOA</subfield><subfield code="d">COCUF</subfield><subfield code="d">K6U</subfield><subfield code="d">PIFAG</subfield><subfield code="d">FVL</subfield><subfield code="d">OTZ</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IGB</subfield><subfield code="d">AGLDB</subfield><subfield code="d">ZCU</subfield><subfield code="d">D6H</subfield><subfield code="d">CN8ML</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">S9I</subfield><subfield code="d">STF</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">UEJ</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">958095513</subfield><subfield code="a">959272148</subfield><subfield code="a">960975570</subfield><subfield code="a">962412356</subfield><subfield code="a">965141878</subfield><subfield code="a">966184342</subfield><subfield code="a">967096922</subfield><subfield code="a">992497320</subfield><subfield code="a">993695062</subfield><subfield code="a">994897934</subfield><subfield code="a">999641837</subfield><subfield code="a">1000435869</subfield><subfield code="a">1001989274</subfield><subfield code="a">1259195309</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">150150262X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502620</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502644</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1501502646</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781501502620</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1501502638</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1501502646</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1501510800</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781501510809</subfield><subfield code="q">(hardcover ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781501502620</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)958120545</subfield><subfield code="z">(OCoLC)958095513</subfield><subfield code="z">(OCoLC)959272148</subfield><subfield code="z">(OCoLC)960975570</subfield><subfield code="z">(OCoLC)962412356</subfield><subfield code="z">(OCoLC)965141878</subfield><subfield code="z">(OCoLC)966184342</subfield><subfield code="z">(OCoLC)967096922</subfield><subfield code="z">(OCoLC)992497320</subfield><subfield code="z">(OCoLC)993695062</subfield><subfield code="z">(OCoLC)994897934</subfield><subfield code="z">(OCoLC)999641837</subfield><subfield code="z">(OCoLC)1000435869</subfield><subfield code="z">(OCoLC)1001989274</subfield><subfield code="z">(OCoLC)1259195309</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">947521</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.C67 2016eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">QA</subfield><subfield code="2">lcco</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Concepts of proof in mathematics, philosophy, and computer science /</subfield><subfield code="c">edited by Dieter Probst and Peter Schuster.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin :</subfield><subfield code="b">De Gruyter,</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 374 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="347" ind1=" " ind2=" "><subfield code="a">text file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos mathematical logic,</subfield><subfield code="x">2198-2341 ;</subfield><subfield code="v">Volume 6</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85082139</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="2"><subfield code="a">Mathematics</subfield><subfield code="0">https://id.nlm.nih.gov/mesh/D008433</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">General.</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">Mathematics</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="700" ind1="1" ind2=" "><subfield code="a">Probst, Dieter,</subfield><subfield code="d">1973-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjHydVjkgWcRbrPhdT3GBK</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2016036109</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter,</subfield><subfield code="d">1967-</subfield><subfield code="e">editor.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjx4YXkWt9XfRpJf3gwkCP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2003053152</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="z">9781501502620</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Ontos mathematical logic ;</subfield><subfield code="v">v. 6.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2006121879</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=1336471</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL4644584</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1336471</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis31249444</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">12213985</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-ocn958120545 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:27:23Z |
| institution | BVB |
| isbn | 150150262X 9781501502620 9781501502644 1501502646 |
| issn | 2198-2341 ; |
| language | English |
| oclc_num | 958120545 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 374 pages .) |
| psigel | ZDB-4-EBA |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | De Gruyter, |
| record_format | marc |
| series | Ontos mathematical logic ; |
| series2 | Ontos mathematical logic, |
| spelling | Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. Berlin : De Gruyter, [2016] 1 online resource (x, 374 pages .) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file Ontos mathematical logic, 2198-2341 ; Volume 6 Includes bibliographical references. Print version record. This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields. In English. Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Mathematics. http://id.loc.gov/authorities/subjects/sh85082139 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematics https://id.nlm.nih.gov/mesh/D008433 Théorie de la preuve. Mathématiques. Logique symbolique et mathématique. MATHEMATICS General. bisacsh Logic, Symbolic and mathematical fast Mathematics fast Proof theory fast Probst, Dieter, 1973- editor. https://id.oclc.org/worldcat/entity/E39PCjHydVjkgWcRbrPhdT3GBK http://id.loc.gov/authorities/names/n2016036109 Schuster, Peter, 1967- editor. https://id.oclc.org/worldcat/entity/E39PCjx4YXkWt9XfRpJf3gwkCP http://id.loc.gov/authorities/names/n2003053152 Print version: 9781501502620 Ontos mathematical logic ; v. 6. http://id.loc.gov/authorities/names/no2006121879 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1336471 Volltext |
| spellingShingle | Concepts of proof in mathematics, philosophy, and computer science / Ontos mathematical logic ; Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Mathematics. http://id.loc.gov/authorities/subjects/sh85082139 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematics https://id.nlm.nih.gov/mesh/D008433 Théorie de la preuve. Mathématiques. Logique symbolique et mathématique. MATHEMATICS General. bisacsh Logic, Symbolic and mathematical fast Mathematics fast Proof theory fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107437 http://id.loc.gov/authorities/subjects/sh85082139 http://id.loc.gov/authorities/subjects/sh85078115 https://id.nlm.nih.gov/mesh/D008433 |
| title | Concepts of proof in mathematics, philosophy, and computer science / |
| title_auth | Concepts of proof in mathematics, philosophy, and computer science / |
| title_exact_search | Concepts of proof in mathematics, philosophy, and computer science / |
| title_full | Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. |
| title_fullStr | Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. |
| title_full_unstemmed | Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster. |
| title_short | Concepts of proof in mathematics, philosophy, and computer science / |
| title_sort | concepts of proof in mathematics philosophy and computer science |
| topic | Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Mathematics. http://id.loc.gov/authorities/subjects/sh85082139 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematics https://id.nlm.nih.gov/mesh/D008433 Théorie de la preuve. Mathématiques. Logique symbolique et mathématique. MATHEMATICS General. bisacsh Logic, Symbolic and mathematical fast Mathematics fast Proof theory fast |
| topic_facet | Proof theory. Mathematics. Logic, Symbolic and mathematical. Mathematics Théorie de la preuve. Mathématiques. Logique symbolique et mathématique. MATHEMATICS General. Logic, Symbolic and mathematical Proof theory |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1336471 |
| work_keys_str_mv | AT probstdieter conceptsofproofinmathematicsphilosophyandcomputerscience AT schusterpeter conceptsofproofinmathematicsphilosophyandcomputerscience |