Deducibility and decidability:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London
Routledge
1990
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references (p. 150-155) and index |
| Physical Description: | 1 Online-Ressource (viii, 162 p.) |
| ISBN: | 0203015096 0415000335 9780203015094 9780415000338 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043157277 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1990 |||| o||u| ||||||eng d | ||
| 020 | |a 0203015096 |c electronic bk. |9 0-203-01509-6 | ||
| 020 | |a 0415000335 |9 0-415-00033-5 | ||
| 020 | |a 9780203015094 |c electronic bk. |9 978-0-203-01509-4 | ||
| 020 | |a 9780415000338 |9 978-0-415-00033-8 | ||
| 035 | |a (OCoLC)559475591 | ||
| 035 | |a (DE-599)BVBBV043157277 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 160 |2 20 | |
| 100 | 1 | |a Gill, R. R. Rockingham |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Deducibility and decidability |c R.R. Rockingham Gill |
| 264 | 1 | |a London |b Routledge |c 1990 | |
| 300 | |a 1 Online-Ressource (viii, 162 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 | ||
| 500 | |a Includes bibliographical references (p. 150-155) and index | ||
| 650 | 7 | |a PHILOSOPHY / Logic |2 bisacsh | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Décidabilité (Logique mathématique) | |
| 650 | 7 | |a Decidability (Mathematical logic) |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Decidability (Mathematical logic) | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028581468 | ||
| 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 | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175623748321280 |
|---|---|
| any_adam_object | |
| author | Gill, R. R. Rockingham |
| author_facet | Gill, R. R. Rockingham |
| author_role | aut |
| author_sort | Gill, R. R. Rockingham |
| author_variant | r r r g rrr rrrg |
| building | Verbundindex |
| bvnumber | BV043157277 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)559475591 (DE-599)BVBBV043157277 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02633nmm a2200577zc 4500</leader><controlfield tag="001">BV043157277</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1990 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203015096</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-203-01509-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415000335</subfield><subfield code="9">0-415-00033-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203015094</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-203-01509-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415000338</subfield><subfield code="9">978-0-415-00033-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)559475591</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043157277</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gill, R. R. Rockingham</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deducibility and decidability</subfield><subfield code="c">R.R. Rockingham Gill</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Routledge</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 162 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 150-155) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Décidabilité (Logique mathématique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Decidability (Mathematical logic)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</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">Decidability (Mathematical logic)</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">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028581468</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="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043157277 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:19:14Z |
| institution | BVB |
| isbn | 0203015096 0415000335 9780203015094 9780415000338 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028581468 |
| oclc_num | 559475591 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 162 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Routledge |
| record_format | marc |
| spelling | Gill, R. R. Rockingham Verfasser aut Deducibility and decidability R.R. Rockingham Gill London Routledge 1990 1 Online-Ressource (viii, 162 p.) txt rdacontent c rdamedia cr rdacarrier Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002 Includes bibliographical references (p. 150-155) and index PHILOSOPHY / Logic bisacsh Logique symbolique et mathématique Décidabilité (Logique mathématique) Decidability (Mathematical logic) fast Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Decidability (Mathematical logic) Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Entscheidbarkeit (DE-588)4152398-2 s 1\p DE-604 Berechenbarkeit (DE-588)4138368-0 s 2\p DE-604 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501 Aggregator Volltext 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 | Gill, R. R. Rockingham Deducibility and decidability PHILOSOPHY / Logic bisacsh Logique symbolique et mathématique Décidabilité (Logique mathématique) Decidability (Mathematical logic) fast Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Decidability (Mathematical logic) Mathematische Logik (DE-588)4037951-6 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4152398-2 (DE-588)4138368-0 |
| title | Deducibility and decidability |
| title_auth | Deducibility and decidability |
| title_exact_search | Deducibility and decidability |
| title_full | Deducibility and decidability R.R. Rockingham Gill |
| title_fullStr | Deducibility and decidability R.R. Rockingham Gill |
| title_full_unstemmed | Deducibility and decidability R.R. Rockingham Gill |
| title_short | Deducibility and decidability |
| title_sort | deducibility and decidability |
| topic | PHILOSOPHY / Logic bisacsh Logique symbolique et mathématique Décidabilité (Logique mathématique) Decidability (Mathematical logic) fast Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Decidability (Mathematical logic) Mathematische Logik (DE-588)4037951-6 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | PHILOSOPHY / Logic Logique symbolique et mathématique Décidabilité (Logique mathématique) Decidability (Mathematical logic) Logic, Symbolic and mathematical Mathematische Logik Entscheidbarkeit Berechenbarkeit |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=76501 |
| work_keys_str_mv | AT gillrrrockingham deducibilityanddecidability |