The language of first-order logic: including the Macintosh TM program "Tarski's world"
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | Undetermined |
Veröffentlicht: |
Menlo Park, CA u.a.
Center for the Study of Language and Information
1991
|
Ausgabe: | 2. ed., rev. and expanded |
Schriftenreihe: | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes
23 |
Schlagworte: | |
Beschreibung: | XIV, 297 S. 1 Diskette, 3,5" |
ISBN: | 0937073741 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV005621527 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | t | ||
008 | 921028s1991 |||| 00||| und d | ||
020 | |a 0937073741 |9 0-937073-74-1 | ||
035 | |a (OCoLC)243729242 | ||
035 | |a (DE-599)BVBBV005621527 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | |a und | ||
049 | |a DE-12 |a DE-29T |a DE-739 | ||
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
084 | |a MAT 030f |2 stub | ||
084 | |a DAT 540f |2 stub | ||
100 | 1 | |a Barwise, Jon |d 1942-2000 |e Verfasser |0 (DE-588)124163092 |4 aut | |
245 | 1 | 0 | |a The language of first-order logic |b including the Macintosh TM program "Tarski's world" |c Jon Barwise and John Etchemendy |
250 | |a 2. ed., rev. and expanded | ||
264 | 1 | |a Menlo Park, CA u.a. |b Center for the Study of Language and Information |c 1991 | |
300 | |a XIV, 297 S. |e 1 Diskette, 3,5" | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 23 | |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a WINDOWS |g Programm |0 (DE-588)4192183-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Macintosh |0 (DE-588)4120688-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Sprache |0 (DE-588)4056449-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Tarski's world |0 (DE-588)4288851-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Stufe 1 |0 (DE-588)4362503-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Tarski's world 4.0 |0 (DE-588)4323440-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
689 | 0 | 0 | |a Tarski's world |0 (DE-588)4288851-7 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | 1 | |a Sprache |0 (DE-588)4056449-6 |D s |
689 | 1 | |8 1\p |5 DE-604 | |
689 | 2 | 0 | |a Tarski's world 4.0 |0 (DE-588)4323440-9 |D s |
689 | 2 | 1 | |a WINDOWS |g Programm |0 (DE-588)4192183-5 |D s |
689 | 2 | |8 2\p |5 DE-604 | |
689 | 3 | 0 | |a Tarski's world 4.0 |0 (DE-588)4323440-9 |D s |
689 | 3 | 1 | |a Macintosh |0 (DE-588)4120688-5 |D s |
689 | 3 | |8 3\p |5 DE-604 | |
689 | 4 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
689 | 4 | 1 | |a Stufe 1 |0 (DE-588)4362503-4 |D s |
689 | 4 | |8 4\p |5 DE-604 | |
689 | 5 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
689 | 5 | |8 5\p |5 DE-604 | |
689 | 6 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
689 | 6 | |8 6\p |5 DE-604 | |
700 | 1 | |a Etchemendy, John |e Verfasser |4 aut | |
830 | 0 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 23 |w (DE-604)BV001900711 |9 23 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-003518834 | ||
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 | |
883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 6\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804119828369244160 |
---|---|
any_adam_object | |
author | Barwise, Jon 1942-2000 Etchemendy, John |
author_GND | (DE-588)124163092 |
author_facet | Barwise, Jon 1942-2000 Etchemendy, John |
author_role | aut aut |
author_sort | Barwise, Jon 1942-2000 |
author_variant | j b jb j e je |
building | Verbundindex |
bvnumber | BV005621527 |
classification_rvk | SK 130 |
classification_tum | MAT 030f DAT 540f |
ctrlnum | (OCoLC)243729242 (DE-599)BVBBV005621527 |
discipline | Informatik Mathematik |
edition | 2. ed., rev. and expanded |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03283nam a2200757 cb4500</leader><controlfield tag="001">BV005621527</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921028s1991 |||| 00||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0937073741</subfield><subfield code="9">0-937073-74-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243729242</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005621527</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="d">1942-2000</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124163092</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The language of first-order logic</subfield><subfield code="b">including the Macintosh TM program "Tarski's world"</subfield><subfield code="c">Jon Barwise and John Etchemendy</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., rev. and expanded</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Menlo Park, CA u.a.</subfield><subfield code="b">Center for the Study of Language and Information</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 297 S.</subfield><subfield code="e">1 Diskette, 3,5"</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">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">23</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">WINDOWS</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4192183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Macintosh</subfield><subfield code="0">(DE-588)4120688-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Tarski's world</subfield><subfield code="0">(DE-588)4288851-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Tarski's world 4.0</subfield><subfield code="0">(DE-588)4323440-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Tarski's world</subfield><subfield code="0">(DE-588)4288851-7</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="1"><subfield code="a">Sprache</subfield><subfield code="0">(DE-588)4056449-6</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">Tarski's world 4.0</subfield><subfield code="0">(DE-588)4323440-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">WINDOWS</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4192183-5</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">Tarski's world 4.0</subfield><subfield code="0">(DE-588)4323440-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Macintosh</subfield><subfield code="0">(DE-588)4120688-5</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="689" ind1="4" 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="4" ind2="1"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="6" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="6" ind2=" "><subfield code="8">6\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Etchemendy, John</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">23</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">23</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003518834</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\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">6\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> |
genre | (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV005621527 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T16:32:23Z |
institution | BVB |
isbn | 0937073741 |
language | Undetermined |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003518834 |
oclc_num | 243729242 |
open_access_boolean | |
owner | DE-12 DE-29T DE-739 |
owner_facet | DE-12 DE-29T DE-739 |
physical | XIV, 297 S. 1 Diskette, 3,5" |
publishDate | 1991 |
publishDateSearch | 1991 |
publishDateSort | 1991 |
publisher | Center for the Study of Language and Information |
record_format | marc |
series | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
series2 | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
spelling | Barwise, Jon 1942-2000 Verfasser (DE-588)124163092 aut The language of first-order logic including the Macintosh TM program "Tarski's world" Jon Barwise and John Etchemendy 2. ed., rev. and expanded Menlo Park, CA u.a. Center for the Study of Language and Information 1991 XIV, 297 S. 1 Diskette, 3,5" txt rdacontent n rdamedia nc rdacarrier Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 23 Logik (DE-588)4036202-4 gnd rswk-swf WINDOWS Programm (DE-588)4192183-5 gnd rswk-swf Macintosh (DE-588)4120688-5 gnd rswk-swf Sprache (DE-588)4056449-6 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Tarski's world (DE-588)4288851-7 gnd rswk-swf Stufe 1 (DE-588)4362503-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Tarski's world 4.0 (DE-588)4323440-9 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Tarski's world (DE-588)4288851-7 s DE-604 Logik (DE-588)4036202-4 s Sprache (DE-588)4056449-6 s 1\p DE-604 Tarski's world 4.0 (DE-588)4323440-9 s WINDOWS Programm (DE-588)4192183-5 s 2\p DE-604 Macintosh (DE-588)4120688-5 s 3\p DE-604 Prädikatenlogik (DE-588)4046974-8 s Stufe 1 (DE-588)4362503-4 s 4\p DE-604 Mathematische Logik (DE-588)4037951-6 s 5\p DE-604 Aussagenlogik (DE-588)4136098-9 s 6\p DE-604 Etchemendy, John Verfasser aut Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 23 (DE-604)BV001900711 23 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 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 6\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Barwise, Jon 1942-2000 Etchemendy, John The language of first-order logic including the Macintosh TM program "Tarski's world" Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes Logik (DE-588)4036202-4 gnd WINDOWS Programm (DE-588)4192183-5 gnd Macintosh (DE-588)4120688-5 gnd Sprache (DE-588)4056449-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Tarski's world (DE-588)4288851-7 gnd Stufe 1 (DE-588)4362503-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Tarski's world 4.0 (DE-588)4323440-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
subject_GND | (DE-588)4036202-4 (DE-588)4192183-5 (DE-588)4120688-5 (DE-588)4056449-6 (DE-588)4136098-9 (DE-588)4288851-7 (DE-588)4362503-4 (DE-588)4037951-6 (DE-588)4323440-9 (DE-588)4046974-8 (DE-588)4151278-9 |
title | The language of first-order logic including the Macintosh TM program "Tarski's world" |
title_auth | The language of first-order logic including the Macintosh TM program "Tarski's world" |
title_exact_search | The language of first-order logic including the Macintosh TM program "Tarski's world" |
title_full | The language of first-order logic including the Macintosh TM program "Tarski's world" Jon Barwise and John Etchemendy |
title_fullStr | The language of first-order logic including the Macintosh TM program "Tarski's world" Jon Barwise and John Etchemendy |
title_full_unstemmed | The language of first-order logic including the Macintosh TM program "Tarski's world" Jon Barwise and John Etchemendy |
title_short | The language of first-order logic |
title_sort | the language of first order logic including the macintosh tm program tarski s world |
title_sub | including the Macintosh TM program "Tarski's world" |
topic | Logik (DE-588)4036202-4 gnd WINDOWS Programm (DE-588)4192183-5 gnd Macintosh (DE-588)4120688-5 gnd Sprache (DE-588)4056449-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Tarski's world (DE-588)4288851-7 gnd Stufe 1 (DE-588)4362503-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Tarski's world 4.0 (DE-588)4323440-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
topic_facet | Logik WINDOWS Programm Macintosh Sprache Aussagenlogik Tarski's world Stufe 1 Mathematische Logik Tarski's world 4.0 Prädikatenlogik Einführung |
volume_link | (DE-604)BV001900711 |
work_keys_str_mv | AT barwisejon thelanguageoffirstorderlogicincludingthemacintoshtmprogramtarskisworld AT etchemendyjohn thelanguageoffirstorderlogicincludingthemacintoshtmprogramtarskisworld |