Algebra of proofs:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland Pub. Co.
1978
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 88 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Includes bibliographical references (p. 278-284) and indexes |
| Beschreibung: | 1 Online-Ressource (xii, 297 p.) |
| ISBN: | 9780080954974 0080954979 9780720422863 0720422868 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317979 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1978 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080954974 |c electronic bk. |9 978-0-08-095497-4 | ||
| 020 | |a 0080954979 |c electronic bk. |9 0-08-095497-9 | ||
| 020 | |a 9780720422863 |9 978-0-7204-2286-3 | ||
| 020 | |a 0720422868 |9 0-7204-2286-8 | ||
| 020 | |z 0720433868 |9 0720433868 | ||
| 035 | |a (OCoLC)428099626 | ||
| 035 | |a (DE-599)BVBBV042317979 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 511/.3 |2 22 | |
| 245 | 1 | 0 | |a Algebra of proofs |c edited by M.E. Szabo |
| 264 | 1 | |a Amsterdam |b North-Holland Pub. Co. |c 1978 | |
| 300 | |a 1 Online-Ressource (xii, 297 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 88 | |
| 500 | |a Includes bibliographical references (p. 278-284) and indexes | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Categories (Mathematics) |2 fast | |
| 650 | 7 | |a Combinatory logic |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 4 | |a Catégories (Mathématiques) | |
| 650 | 4 | |a Logique combinatoire | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Categorieën (wiskunde) |2 gtt | |
| 650 | 7 | |a Combinatorische logica |2 gtt | |
| 650 | 7 | |a Beweistheorie |2 swd | |
| 650 | 4 | |a Proof theory | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Combinatory logic | |
| 650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kategorie |g Mathematik |0 (DE-588)4129930-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 Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Szabo, M. E. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780720422863 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754970 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804152915018907648 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV042317979 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428099626 (DE-599)BVBBV042317979 |
| 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 13 |
| 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>02819nmm a2200757zcb4500</leader><controlfield tag="001">BV042317979</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1978 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080954974</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-095497-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080954979</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-095497-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422863</subfield><subfield code="9">978-0-7204-2286-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422868</subfield><subfield code="9">0-7204-2286-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0720433868</subfield><subfield code="9">0720433868</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428099626</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317979</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-706</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">Algebra of proofs</subfield><subfield code="c">edited by M.E. Szabo</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Pub. Co.</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 297 p.)</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="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 88</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 278-284) and indexes</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">Categories (Mathematics)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Combinatory logic</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="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Catégories (Mathématiques)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique combinatoire</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Categorieën (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Combinatorische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kategorie</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4129930-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Szabo, M. E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780720422863</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754970</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></record></collection> |
| id | DE-604.BV042317979 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780080954974 0080954979 9780720422863 0720422868 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754970 |
| oclc_num | 428099626 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (xii, 297 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | North-Holland Pub. Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Algebra of proofs edited by M.E. Szabo Amsterdam North-Holland Pub. Co. 1978 1 Online-Ressource (xii, 297 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 88 Includes bibliographical references (p. 278-284) and indexes MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Categories (Mathematics) fast Combinatory logic fast Proof theory fast Preuve, Théorie de la Catégories (Mathématiques) Logique combinatoire Bewijstheorie gtt Categorieën (wiskunde) gtt Combinatorische logica gtt Beweistheorie swd Proof theory Categories (Mathematics) Combinatory logic Kombinatorik (DE-588)4031824-2 gnd rswk-swf Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s 1\p DE-604 Kombinatorik (DE-588)4031824-2 s 2\p DE-604 Kategorie Mathematik (DE-588)4129930-9 s 3\p DE-604 Logik (DE-588)4036202-4 s 4\p DE-604 Szabo, M. E. Sonstige oth http://www.sciencedirect.com/science/book/9780720422863 Verlag 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 | Algebra of proofs MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Categories (Mathematics) fast Combinatory logic fast Proof theory fast Preuve, Théorie de la Catégories (Mathématiques) Logique combinatoire Bewijstheorie gtt Categorieën (wiskunde) gtt Combinatorische logica gtt Beweistheorie swd Proof theory Categories (Mathematics) Combinatory logic Kombinatorik (DE-588)4031824-2 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Beweistheorie (DE-588)4145177-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4031824-2 (DE-588)4129930-9 (DE-588)4145177-6 (DE-588)4036202-4 |
| title | Algebra of proofs |
| title_auth | Algebra of proofs |
| title_exact_search | Algebra of proofs |
| title_full | Algebra of proofs edited by M.E. Szabo |
| title_fullStr | Algebra of proofs edited by M.E. Szabo |
| title_full_unstemmed | Algebra of proofs edited by M.E. Szabo |
| title_short | Algebra of proofs |
| title_sort | algebra of proofs |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Categories (Mathematics) fast Combinatory logic fast Proof theory fast Preuve, Théorie de la Catégories (Mathématiques) Logique combinatoire Bewijstheorie gtt Categorieën (wiskunde) gtt Combinatorische logica gtt Beweistheorie swd Proof theory Categories (Mathematics) Combinatory logic Kombinatorik (DE-588)4031824-2 gnd Kategorie Mathematik (DE-588)4129930-9 gnd Beweistheorie (DE-588)4145177-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Categories (Mathematics) Combinatory logic Proof theory Preuve, Théorie de la Catégories (Mathématiques) Logique combinatoire Bewijstheorie Categorieën (wiskunde) Combinatorische logica Beweistheorie Kombinatorik Kategorie Mathematik Logik |
| url | http://www.sciencedirect.com/science/book/9780720422863 |
| work_keys_str_mv | AT szabome algebraofproofs |