Truth, deduction, and computation: logic and semantics for computer science
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York
Computer Science Pr.
1989
|
| Ausgabe: | 1. print. |
| Schriftenreihe: | Principles of computer science series
|
| Schlagworte: | |
| Beschreibung: | XV, 265 S. |
| ISBN: | 0716782014 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021896416 | ||
| 003 | DE-604 | ||
| 005 | 20060630000000.0 | ||
| 007 | t | ||
| 008 | 910313s1989 |||| 00||| eng d | ||
| 020 | |a 0716782014 |9 0-7167-8201-4 | ||
| 035 | |a (OCoLC)19885683 | ||
| 035 | |a (DE-599)BVBBV021896416 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Davis, Ruth E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Truth, deduction, and computation |b logic and semantics for computer science |
| 250 | |a 1. print. | ||
| 264 | 1 | |a New York |b Computer Science Pr. |c 1989 | |
| 300 | |a XV, 265 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Principles of computer science series | |
| 650 | 7 | |a Langage de programmation |2 ram | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a déduction |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a logique formelle |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique symbolique |2 inriac | |
| 650 | 7 | |a sémantique langage |2 inriac | |
| 650 | 7 | |a théorie nombre |2 inriac | |
| 650 | 7 | |a verité |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 2 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015111599 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135841304412160 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Davis, Ruth E. |
| author_facet | Davis, Ruth E. |
| author_role | aut |
| author_sort | Davis, Ruth E. |
| author_variant | r e d re red |
| building | Verbundindex |
| bvnumber | BV021896416 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)19885683 (DE-599)BVBBV021896416 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02281nam a2200661zc 4500</leader><controlfield tag="001">BV021896416</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060630000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910313s1989 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0716782014</subfield><subfield code="9">0-7167-8201-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19885683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021896416</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">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">20</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">Davis, Ruth E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Truth, deduction, and computation</subfield><subfield code="b">logic and semantics for computer science</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Computer Science Pr.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 265 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="0" ind2=" "><subfield code="a">Principles of computer science series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langage de programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique symbolique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie nombre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">verité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015111599</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></record></collection> |
| id | DE-604.BV021896416 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:24Z |
| indexdate | 2024-07-09T20:46:55Z |
| institution | BVB |
| isbn | 0716782014 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015111599 |
| oclc_num | 19885683 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | XV, 265 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Computer Science Pr. |
| record_format | marc |
| series2 | Principles of computer science series |
| spelling | Davis, Ruth E. Verfasser aut Truth, deduction, and computation logic and semantics for computer science 1. print. New York Computer Science Pr. 1989 XV, 265 S. txt rdacontent n rdamedia nc rdacarrier Principles of computer science series Langage de programmation ram calcul propositionnel inriac calcul prédicat inriac déduction inriac lambda calcul inriac logique formelle inriac logique mathématique inriac logique symbolique inriac sémantique langage inriac théorie nombre inriac verité inriac Datenverarbeitung Electronic data processing Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s DE-604 Aussagenlogik (DE-588)4136098-9 s Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s Semantik (DE-588)4054490-4 s 1\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Davis, Ruth E. Truth, deduction, and computation logic and semantics for computer science Langage de programmation ram calcul propositionnel inriac calcul prédicat inriac déduction inriac lambda calcul inriac logique formelle inriac logique mathématique inriac logique symbolique inriac sémantique langage inriac théorie nombre inriac verité inriac Datenverarbeitung Electronic data processing Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Aussagenlogik (DE-588)4136098-9 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4136098-9 (DE-588)4047409-4 (DE-588)4054490-4 (DE-588)4196735-5 (DE-588)4036202-4 |
| title | Truth, deduction, and computation logic and semantics for computer science |
| title_auth | Truth, deduction, and computation logic and semantics for computer science |
| title_exact_search | Truth, deduction, and computation logic and semantics for computer science |
| title_exact_search_txtP | Truth, deduction, and computation logic and semantics for computer science |
| title_full | Truth, deduction, and computation logic and semantics for computer science |
| title_fullStr | Truth, deduction, and computation logic and semantics for computer science |
| title_full_unstemmed | Truth, deduction, and computation logic and semantics for computer science |
| title_short | Truth, deduction, and computation |
| title_sort | truth deduction and computation logic and semantics for computer science |
| title_sub | logic and semantics for computer science |
| topic | Langage de programmation ram calcul propositionnel inriac calcul prédicat inriac déduction inriac lambda calcul inriac logique formelle inriac logique mathématique inriac logique symbolique inriac sémantique langage inriac théorie nombre inriac verité inriac Datenverarbeitung Electronic data processing Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Aussagenlogik (DE-588)4136098-9 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Langage de programmation calcul propositionnel calcul prédicat déduction lambda calcul logique formelle logique mathématique logique symbolique sémantique langage théorie nombre verité Datenverarbeitung Electronic data processing Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Aussagenlogik Programmiersprache Semantik Theoretische Informatik Logik |
| work_keys_str_mv | AT davisruthe truthdeductionandcomputationlogicandsemanticsforcomputerscience |