Prädikatenlogik ohne gebundenen Variablen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Frankfurt am Main [u.a.]
Lang
1980
|
| Schriftenreihe: | Europäische Hochschulschriften
Reihe 20, Philosophie ; 61 |
| Schlagworte: | |
| Beschreibung: | 84 S. |
| ISBN: | 3820468102 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022144503 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 960809s1980 |||| 00||| ger d | ||
| 020 | |a 3820468102 |9 3-8204-6810-2 | ||
| 035 | |a (OCoLC)22209003 | ||
| 035 | |a (DE-599)BVBBV022144503 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 100 | 1 | |a Bartnick, Jürgen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Prädikatenlogik ohne gebundenen Variablen |c Jürgen Bartnick |
| 264 | 1 | |a Frankfurt am Main [u.a.] |b Lang |c 1980 | |
| 300 | |a 84 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Europäische Hochschulschriften : Reihe 20, Philosophie |v 61 | |
| 650 | 7 | |a Algèbres cylindriques |2 ram | |
| 650 | 7 | |a Logique combinatoire |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Prédicat (logique) |2 ram | |
| 650 | 4 | |a Combinatory logic | |
| 650 | 4 | |a Cylindric algebras | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Europäische Hochschulschriften |v Reihe 20, Philosophie ; 61 |w (DE-604)BV000001796 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015359133 | ||
Datensatz im Suchindex
| _version_ | 1804136117917712384 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Bartnick, Jürgen |
| author_facet | Bartnick, Jürgen |
| author_role | aut |
| author_sort | Bartnick, Jürgen |
| author_variant | j b jb |
| building | Verbundindex |
| bvnumber | BV022144503 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)22209003 (DE-599)BVBBV022144503 |
| 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 |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01371nam a2200421zcb4500</leader><controlfield tag="001">BV022144503</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960809s1980 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3820468102</subfield><subfield code="9">3-8204-6810-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22209003</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022144503</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bartnick, Jürgen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Prädikatenlogik ohne gebundenen Variablen</subfield><subfield code="c">Jürgen Bartnick</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main [u.a.]</subfield><subfield code="b">Lang</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">84 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">Europäische Hochschulschriften : Reihe 20, Philosophie</subfield><subfield code="v">61</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algèbres cylindriques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique combinatoire</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="7"><subfield code="a">Prédicat (logique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatory logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Cylindric algebras</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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Europäische Hochschulschriften</subfield><subfield code="v">Reihe 20, Philosophie ; 61</subfield><subfield code="w">(DE-604)BV000001796</subfield><subfield code="9"></subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015359133</subfield></datafield></record></collection> |
| id | DE-604.BV022144503 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:17:46Z |
| indexdate | 2024-07-09T20:51:18Z |
| institution | BVB |
| isbn | 3820468102 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015359133 |
| oclc_num | 22209003 |
| open_access_boolean | |
| owner | DE-706 DE-188 |
| owner_facet | DE-706 DE-188 |
| physical | 84 S. |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Lang |
| record_format | marc |
| series | Europäische Hochschulschriften |
| series2 | Europäische Hochschulschriften : Reihe 20, Philosophie |
| spelling | Bartnick, Jürgen Verfasser aut Prädikatenlogik ohne gebundenen Variablen Jürgen Bartnick Frankfurt am Main [u.a.] Lang 1980 84 S. txt rdacontent n rdamedia nc rdacarrier Europäische Hochschulschriften : Reihe 20, Philosophie 61 Algèbres cylindriques ram Logique combinatoire ram Logique symbolique et mathématique ram Prédicat (logique) ram Combinatory logic Cylindric algebras Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 s DE-604 Europäische Hochschulschriften Reihe 20, Philosophie ; 61 (DE-604)BV000001796 |
| spellingShingle | Bartnick, Jürgen Prädikatenlogik ohne gebundenen Variablen Europäische Hochschulschriften Algèbres cylindriques ram Logique combinatoire ram Logique symbolique et mathématique ram Prédicat (logique) ram Combinatory logic Cylindric algebras Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4046974-8 |
| title | Prädikatenlogik ohne gebundenen Variablen |
| title_auth | Prädikatenlogik ohne gebundenen Variablen |
| title_exact_search | Prädikatenlogik ohne gebundenen Variablen |
| title_exact_search_txtP | Prädikatenlogik ohne gebundenen Variablen |
| title_full | Prädikatenlogik ohne gebundenen Variablen Jürgen Bartnick |
| title_fullStr | Prädikatenlogik ohne gebundenen Variablen Jürgen Bartnick |
| title_full_unstemmed | Prädikatenlogik ohne gebundenen Variablen Jürgen Bartnick |
| title_short | Prädikatenlogik ohne gebundenen Variablen |
| title_sort | pradikatenlogik ohne gebundenen variablen |
| topic | Algèbres cylindriques ram Logique combinatoire ram Logique symbolique et mathématique ram Prédicat (logique) ram Combinatory logic Cylindric algebras Logic, Symbolic and mathematical Prädikatenlogik (DE-588)4046974-8 gnd |
| topic_facet | Algèbres cylindriques Logique combinatoire Logique symbolique et mathématique Prédicat (logique) Combinatory logic Cylindric algebras Logic, Symbolic and mathematical Prädikatenlogik |
| volume_link | (DE-604)BV000001796 |
| work_keys_str_mv | AT bartnickjurgen pradikatenlogikohnegebundenenvariablen |