Truth, deduction, and computation: logic and semantics for computer science
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York
Computer Science Press
1989
|
| Schriftenreihe: | Principles of computer science series
|
| Schlagworte: | |
| Beschreibung: | XV, 265 S. graph. Darst. |
| ISBN: | 0716782014 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006581878 | ||
| 003 | DE-604 | ||
| 005 | 20220922 | ||
| 007 | t | ||
| 008 | 930210s1989 d||| |||| 00||| eng d | ||
| 020 | |a 0716782014 |9 0-7167-8201-4 | ||
| 035 | |a (OCoLC)19885683 | ||
| 035 | |a (DE-599)BVBBV006581878 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-19 |a DE-29T |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 20 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 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 |c R. E. Davis |
| 264 | 1 | |a New York |b Computer Science Press |c 1989 | |
| 300 | |a XV, 265 S. |b graph. Darst. | ||
| 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 Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 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 Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 2 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004200509 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804120852794441728 |
|---|---|
| any_adam_object | |
| 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 | BV006581878 |
| 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 | ST 140 SK 130 |
| ctrlnum | (OCoLC)19885683 (DE-599)BVBBV006581878 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02458nam a2200673 c 4500</leader><controlfield tag="001">BV006581878</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220922 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1989 d||| |||| 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)BVBBV006581878</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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">ST 140</subfield><subfield code="0">(DE-625)143592:</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">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><subfield code="c">R. E. Davis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Computer Science Press</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 265 S.</subfield><subfield code="b">graph. Darst.</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">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">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">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">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="689" ind1="0" 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="0" 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="0" 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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004200509</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></record></collection> |
| id | DE-604.BV006581878 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:48:40Z |
| institution | BVB |
| isbn | 0716782014 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004200509 |
| oclc_num | 19885683 |
| open_access_boolean | |
| owner | DE-739 DE-19 DE-BY-UBM DE-29T DE-83 DE-188 |
| owner_facet | DE-739 DE-19 DE-BY-UBM DE-29T DE-83 DE-188 |
| physical | XV, 265 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Computer Science Press |
| 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 R. E. Davis New York Computer Science Press 1989 XV, 265 S. graph. Darst. 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 Semantik (DE-588)4054490-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s Semantik (DE-588)4054490-4 s DE-604 Aussagenlogik (DE-588)4136098-9 s 1\p DE-604 Programmiersprache (DE-588)4047409-4 s 2\p DE-604 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 |
| 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 Semantik (DE-588)4054490-4 gnd Logik (DE-588)4036202-4 gnd Aussagenlogik (DE-588)4136098-9 gnd Programmiersprache (DE-588)4047409-4 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4036202-4 (DE-588)4136098-9 (DE-588)4047409-4 (DE-588)4196735-5 |
| 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_full | Truth, deduction, and computation logic and semantics for computer science R. E. Davis |
| title_fullStr | Truth, deduction, and computation logic and semantics for computer science R. E. Davis |
| title_full_unstemmed | Truth, deduction, and computation logic and semantics for computer science R. E. Davis |
| 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 Semantik (DE-588)4054490-4 gnd Logik (DE-588)4036202-4 gnd Aussagenlogik (DE-588)4136098-9 gnd Programmiersprache (DE-588)4047409-4 gnd Theoretische Informatik (DE-588)4196735-5 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 Semantik Logik Aussagenlogik Programmiersprache Theoretische Informatik |
| work_keys_str_mv | AT davisruthe truthdeductionandcomputationlogicandsemanticsforcomputerscience |