Algebra of proofs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
North-Holland Publ.
1978
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
88 |
| Schlagworte: | |
| Beschreibung: | XII, 297 S. |
| ISBN: | 0720422868 0720422000 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002252809 | ||
| 003 | DE-604 | ||
| 005 | 20130219 | ||
| 007 | t | ||
| 008 | 890928s1978 |||| 00||| eng d | ||
| 020 | |a 0720422868 |9 0-7204-2286-8 | ||
| 020 | |a 0720422000 |9 0-7204-2200-0 | ||
| 035 | |a (OCoLC)2799077 | ||
| 035 | |a (DE-599)BVBBV002252809 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-703 |a DE-739 |a DE-355 |a DE-29 |a DE-29T |a DE-19 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511/.3 |2 18 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03Fxx |2 msc | ||
| 100 | 1 | |a Szabo, Fred |e Verfasser |0 (DE-588)128359323 |4 aut | |
| 245 | 1 | 0 | |a Algebra of proofs |c M. E. Szabo |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland Publ. |c 1978 | |
| 300 | |a XII, 297 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 88 | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Categorieën (wiskunde) |2 gtt | |
| 650 | 4 | |a Catégories (Mathématiques) | |
| 650 | 7 | |a Combinatorische logica |2 gtt | |
| 650 | 4 | |a Logique combinatoire | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Combinatory logic | |
| 650 | 4 | |a Proof theory | |
| 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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 689 | 3 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 3 | |8 3\p |5 DE-604 | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 88 |w (DE-604)BV000893472 |9 88 | |
| 940 | 1 | |q TUB-www | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001480341 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804116709150294016 |
|---|---|
| any_adam_object | |
| author | Szabo, Fred |
| author_GND | (DE-588)128359323 |
| author_facet | Szabo, Fred |
| author_role | aut |
| author_sort | Szabo, Fred |
| author_variant | f s fs |
| building | Verbundindex |
| bvnumber | BV002252809 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)2799077 (DE-599)BVBBV002252809 |
| 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 Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02337nam a2200649 cb4500</leader><controlfield tag="001">BV002252809</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1978 |||| 00||| eng d</controlfield><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="a">0720422000</subfield><subfield code="9">0-7204-2200-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2799077</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002252809</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">18</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Fxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Szabo, Fred</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128359323</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebra of proofs</subfield><subfield code="c">M. E. Szabo</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland Publ.</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 297 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">88</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="4"><subfield code="a">Catégories (Mathématiques)</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="4"><subfield code="a">Logique combinatoire</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">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</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="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">1\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">2\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">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">88</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">88</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001480341</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></record></collection> |
| id | DE-604.BV002252809 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:42:49Z |
| institution | BVB |
| isbn | 0720422868 0720422000 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001480341 |
| oclc_num | 2799077 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-29T DE-19 DE-BY-UBM DE-83 DE-188 |
| physical | XII, 297 S. |
| psigel | TUB-www |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | North-Holland Publ. |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Szabo, Fred Verfasser (DE-588)128359323 aut Algebra of proofs M. E. Szabo Amsterdam [u.a.] North-Holland Publ. 1978 XII, 297 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 88 Bewijstheorie gtt Categorieën (wiskunde) gtt Catégories (Mathématiques) Combinatorische logica gtt Logique combinatoire Preuve, Théorie de la Categories (Mathematics) Combinatory logic Proof theory 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 DE-604 Kombinatorik (DE-588)4031824-2 s 1\p DE-604 Kategorie Mathematik (DE-588)4129930-9 s 2\p DE-604 Logik (DE-588)4036202-4 s 3\p DE-604 Studies in logic and the foundations of mathematics 88 (DE-604)BV000893472 88 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 |
| spellingShingle | Szabo, Fred Algebra of proofs Studies in logic and the foundations of mathematics Bewijstheorie gtt Categorieën (wiskunde) gtt Catégories (Mathématiques) Combinatorische logica gtt Logique combinatoire Preuve, Théorie de la Categories (Mathematics) Combinatory logic Proof theory 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 M. E. Szabo |
| title_fullStr | Algebra of proofs M. E. Szabo |
| title_full_unstemmed | Algebra of proofs M. E. Szabo |
| title_short | Algebra of proofs |
| title_sort | algebra of proofs |
| topic | Bewijstheorie gtt Categorieën (wiskunde) gtt Catégories (Mathématiques) Combinatorische logica gtt Logique combinatoire Preuve, Théorie de la Categories (Mathematics) Combinatory logic Proof theory 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 | Bewijstheorie Categorieën (wiskunde) Catégories (Mathématiques) Combinatorische logica Logique combinatoire Preuve, Théorie de la Categories (Mathematics) Combinatory logic Proof theory Kombinatorik Kategorie Mathematik Beweistheorie Logik |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT szabofred algebraofproofs |