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: | 297 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022123602 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 960304s1978 |||| 00||| eng d | ||
| 020 | |z 0720433868 |9 0-7204-3386-8 | ||
| 035 | |a (OCoLC)2799077 | ||
| 035 | |a (DE-599)BVBBV022123602 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 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 | ||
| 100 | 1 | |a Szabo, Manfred E. |e Verfasser |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 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 Kategorie |g Mathematik |0 (DE-588)4129930-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Kategorie |g Mathematik |0 (DE-588)4129930-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 88 |w (DE-604)BV000893472 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015338282 | ||
Datensatz im Suchindex
| _version_ | 1804136096702922752 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Szabo, Manfred E. |
| author_facet | Szabo, Manfred E. |
| author_role | aut |
| author_sort | Szabo, Manfred E. |
| author_variant | m e s me mes |
| building | Verbundindex |
| bvnumber | BV022123602 |
| 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)BVBBV022123602 |
| 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 |
| discipline_str_mv | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01882nam a2200577zcb4500</leader><controlfield tag="001">BV022123602</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960304s1978 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0720433868</subfield><subfield code="9">0-7204-3386-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2799077</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022123602</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</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="100" ind1="1" ind2=" "><subfield code="a">Szabo, Manfred E.</subfield><subfield code="e">Verfasser</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">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">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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><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=" "><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="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" ind2=" "><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"></subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015338282</subfield></datafield></record></collection> |
| id | DE-604.BV022123602 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:16:22Z |
| indexdate | 2024-07-09T20:50:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015338282 |
| oclc_num | 2799077 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 297 S. |
| 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, Manfred E. Verfasser aut Algebra of proofs M. E. Szabo Amsterdam [u.a.] North-Holland Publ. 1978 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 Kategorie Mathematik (DE-588)4129930-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Kombinatorik (DE-588)4031824-2 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Kombinatorik (DE-588)4031824-2 s DE-604 Logik (DE-588)4036202-4 s Kategorie Mathematik (DE-588)4129930-9 s Beweistheorie (DE-588)4145177-6 s Studies in logic and the foundations of mathematics 88 (DE-604)BV000893472 |
| spellingShingle | Szabo, Manfred E. 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 Kategorie Mathematik (DE-588)4129930-9 gnd Logik (DE-588)4036202-4 gnd Kombinatorik (DE-588)4031824-2 gnd Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4129930-9 (DE-588)4036202-4 (DE-588)4031824-2 (DE-588)4145177-6 |
| title | Algebra of proofs |
| title_auth | Algebra of proofs |
| title_exact_search | Algebra of proofs |
| title_exact_search_txtP | 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 Kategorie Mathematik (DE-588)4129930-9 gnd Logik (DE-588)4036202-4 gnd Kombinatorik (DE-588)4031824-2 gnd Beweistheorie (DE-588)4145177-6 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 Kategorie Mathematik Logik Kombinatorik Beweistheorie |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT szabomanfrede algebraofproofs |