Deducibility and decidability /:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London ; New York :
Routledge,
1990.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 online resource (viii, 162 pages) |
| Format: | 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. |
| Bibliographie: | Includes bibliographical references (pages 150-155) and index. |
| ISBN: | 0203015096 9780203015094 9786610110414 6610110417 9781134989980 1134989989 9781134989935 1134989938 9781134989973 1134989970 9780415754965 0415754968 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn559475591 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 890908s1990 enk ob 001 0 eng d | ||
| 040 | |a MERUC |b eng |e pn |c MERUC |d CCO |d E7B |d OCLCQ |d MT4IT |d DKDLA |d OCLCQ |d N$T |d YDXCP |d QE2 |d IDEBK |d OCLCQ |d OCLCO |d OCLCQ |d OCLCE |d OCLCF |d OCLCQ |d TYFRS |d OCLCQ |d AZK |d COCUF |d MOR |d PIFBR |d OTZ |d OCLCQ |d U3W |d STF |d WRM |d OCLCQ |d VTS |d CEF |d NRAMU |d VT2 |d LHU |d FVL |d OCLCQ |d WYU |d BRX |d OCLCQ |d LEAUB |d CNTRU |d UKMGB |d M8D |d SFB |d BOL |d YDX |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 015 | |a GBB974631 |2 bnb | ||
| 016 | 7 | |a 017481232 |2 Uk | |
| 019 | |a 52713030 |a 191936613 |a 252957853 |a 456019461 |a 475471086 |a 646709528 |a 756865990 |a 801245603 |a 961604445 |a 962571445 |a 973974013 |a 974186284 |a 988520998 |a 992061960 |a 994719168 |a 1003756130 |a 1018083099 |a 1037752636 |a 1038570086 |a 1042325365 |a 1044165224 |a 1044292765 |a 1045505878 |a 1048183497 |a 1055332157 |a 1056361888 |a 1056381136 |a 1059783315 |a 1060853969 |a 1064063984 |a 1069532273 |a 1076583189 |a 1079930912 |a 1081221262 |a 1086506357 |a 1096466138 |a 1107372732 |a 1114470214 |a 1119130031 |a 1125441340 |a 1125686955 |a 1136203019 |a 1136308134 |a 1228594621 |a 1286910423 | ||
| 020 | |a 0203015096 |q (electronic bk.) | ||
| 020 | |a 9780203015094 |q (electronic bk.) | ||
| 020 | |a 9786610110414 | ||
| 020 | |a 6610110417 | ||
| 020 | |a 9781134989980 |q (e-book ; |q PDF) | ||
| 020 | |a 1134989989 | ||
| 020 | |a 9781134989935 |q (e-book ; |q Mobi) | ||
| 020 | |a 1134989938 | ||
| 020 | |a 9781134989973 |q (e-book ; |q ePub) | ||
| 020 | |a 1134989970 | ||
| 020 | |a 9780415754965 |q (paperback) | ||
| 020 | |a 0415754968 | ||
| 020 | |z 0415000335 | ||
| 020 | |z 9780415000338 | ||
| 020 | |z 0203174003 |q (Adobe eReader format) | ||
| 024 | 8 | |a 9786610110414 | |
| 027 | |a MYILIB_CUp | ||
| 035 | |a (OCoLC)559475591 |z (OCoLC)52713030 |z (OCoLC)191936613 |z (OCoLC)252957853 |z (OCoLC)456019461 |z (OCoLC)475471086 |z (OCoLC)646709528 |z (OCoLC)756865990 |z (OCoLC)801245603 |z (OCoLC)961604445 |z (OCoLC)962571445 |z (OCoLC)973974013 |z (OCoLC)974186284 |z (OCoLC)988520998 |z (OCoLC)992061960 |z (OCoLC)994719168 |z (OCoLC)1003756130 |z (OCoLC)1018083099 |z (OCoLC)1037752636 |z (OCoLC)1038570086 |z (OCoLC)1042325365 |z (OCoLC)1044165224 |z (OCoLC)1044292765 |z (OCoLC)1045505878 |z (OCoLC)1048183497 |z (OCoLC)1055332157 |z (OCoLC)1056361888 |z (OCoLC)1056381136 |z (OCoLC)1059783315 |z (OCoLC)1060853969 |z (OCoLC)1064063984 |z (OCoLC)1069532273 |z (OCoLC)1076583189 |z (OCoLC)1079930912 |z (OCoLC)1081221262 |z (OCoLC)1086506357 |z (OCoLC)1096466138 |z (OCoLC)1107372732 |z (OCoLC)1114470214 |z (OCoLC)1119130031 |z (OCoLC)1125441340 |z (OCoLC)1125686955 |z (OCoLC)1136203019 |z (OCoLC)1136308134 |z (OCoLC)1228594621 |z (OCoLC)1286910423 | ||
| 037 | |a cis4995791 | ||
| 037 | |a 11041 |b MIL | ||
| 042 | |a dlr | ||
| 050 | 4 | |a BC135 |b .G495 1990eb | |
| 055 | 1 | 3 | |a BC135 |b .G495 1990eb |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 7 | |a 160 |2 20 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Gill, R. R. Rockingham, |d 1944- |1 https://id.oclc.org/worldcat/entity/E39PBJwRYr93c3J4v4tk3yH3cP |0 http://id.loc.gov/authorities/names/n89650698 | |
| 245 | 1 | 0 | |a Deducibility and decidability / |c R.R. Rockingham Gill. |
| 260 | |a London ; |a New York : |b Routledge, |c 1990. | ||
| 300 | |a 1 online resource (viii, 162 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 340 | |g polychrome. |2 rdacc |0 http://rdaregistry.info/termList/RDAColourContent/1003 | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 150-155) and index. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2011. |5 MiAaHDL | ||
| 538 | |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. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Decidability (Mathematical logic) |0 http://id.loc.gov/authorities/subjects/sh85036191 | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Décidabilité (Logique mathématique) | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Decidability (Mathematical logic) |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 653 | |a Mathematical logic | ||
| 758 | |i has work: |a Deducibility and decidability (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG73jfTfQtfbfKJx4trgJC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Gill, R.R. Rockingham, 1944- |t Deducibility and decidability. |d London ; New York : Routledge, 1990 |w (DLC) 89027524 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=76501 |3 Volltext |
| 936 | |a BATCHLOAD | ||
| 938 | |a ebrary |b EBRY |n ebr10017095 | ||
| 938 | |a EBSCOhost |b EBSC |n 76501 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 11041 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780203015094 | ||
| 938 | |a YBP Library Services |b YANK |n 301596647 | ||
| 938 | |a YBP Library Services |b YANK |n 2279555 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn559475591 |
|---|---|
| _version_ | 1816881706378985472 |
| adam_text | |
| any_adam_object | |
| author | Gill, R. R. Rockingham, 1944- |
| author_GND | http://id.loc.gov/authorities/names/n89650698 |
| author_facet | Gill, R. R. Rockingham, 1944- |
| author_role | |
| author_sort | Gill, R. R. Rockingham, 1944- |
| author_variant | r r r g rrr rrrg |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 .G495 1990eb |
| callnumber-search | BC135 .G495 1990eb |
| callnumber-sort | BC 3135 G495 41990EB |
| callnumber-subject | BC - Logic |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)559475591 |
| 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>05382cam a2200865 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn559475591</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">890908s1990 enk ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MERUC</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">MERUC</subfield><subfield code="d">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MT4IT</subfield><subfield code="d">DKDLA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">QE2</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCE</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TYFRS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">COCUF</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">CEF</subfield><subfield code="d">NRAMU</subfield><subfield code="d">VT2</subfield><subfield code="d">LHU</subfield><subfield code="d">FVL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">BRX</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LEAUB</subfield><subfield code="d">CNTRU</subfield><subfield code="d">UKMGB</subfield><subfield code="d">M8D</subfield><subfield code="d">SFB</subfield><subfield code="d">BOL</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB974631</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">017481232</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">52713030</subfield><subfield code="a">191936613</subfield><subfield code="a">252957853</subfield><subfield code="a">456019461</subfield><subfield code="a">475471086</subfield><subfield code="a">646709528</subfield><subfield code="a">756865990</subfield><subfield code="a">801245603</subfield><subfield code="a">961604445</subfield><subfield code="a">962571445</subfield><subfield code="a">973974013</subfield><subfield code="a">974186284</subfield><subfield code="a">988520998</subfield><subfield code="a">992061960</subfield><subfield code="a">994719168</subfield><subfield code="a">1003756130</subfield><subfield code="a">1018083099</subfield><subfield code="a">1037752636</subfield><subfield code="a">1038570086</subfield><subfield code="a">1042325365</subfield><subfield code="a">1044165224</subfield><subfield code="a">1044292765</subfield><subfield code="a">1045505878</subfield><subfield code="a">1048183497</subfield><subfield code="a">1055332157</subfield><subfield code="a">1056361888</subfield><subfield code="a">1056381136</subfield><subfield code="a">1059783315</subfield><subfield code="a">1060853969</subfield><subfield code="a">1064063984</subfield><subfield code="a">1069532273</subfield><subfield code="a">1076583189</subfield><subfield code="a">1079930912</subfield><subfield code="a">1081221262</subfield><subfield code="a">1086506357</subfield><subfield code="a">1096466138</subfield><subfield code="a">1107372732</subfield><subfield code="a">1114470214</subfield><subfield code="a">1119130031</subfield><subfield code="a">1125441340</subfield><subfield code="a">1125686955</subfield><subfield code="a">1136203019</subfield><subfield code="a">1136308134</subfield><subfield code="a">1228594621</subfield><subfield code="a">1286910423</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203015096</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203015094</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610110414</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610110417</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134989980</subfield><subfield code="q">(e-book ;</subfield><subfield code="q">PDF)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134989989</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134989935</subfield><subfield code="q">(e-book ;</subfield><subfield code="q">Mobi)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134989938</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134989973</subfield><subfield code="q">(e-book ;</subfield><subfield code="q">ePub)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134989970</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415754965</subfield><subfield code="q">(paperback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415754968</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0415000335</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780415000338</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0203174003</subfield><subfield code="q">(Adobe eReader format)</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786610110414</subfield></datafield><datafield tag="027" ind1=" " ind2=" "><subfield code="a">MYILIB_CUp</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)559475591</subfield><subfield code="z">(OCoLC)52713030</subfield><subfield code="z">(OCoLC)191936613</subfield><subfield code="z">(OCoLC)252957853</subfield><subfield code="z">(OCoLC)456019461</subfield><subfield code="z">(OCoLC)475471086</subfield><subfield code="z">(OCoLC)646709528</subfield><subfield code="z">(OCoLC)756865990</subfield><subfield code="z">(OCoLC)801245603</subfield><subfield code="z">(OCoLC)961604445</subfield><subfield code="z">(OCoLC)962571445</subfield><subfield code="z">(OCoLC)973974013</subfield><subfield code="z">(OCoLC)974186284</subfield><subfield code="z">(OCoLC)988520998</subfield><subfield code="z">(OCoLC)992061960</subfield><subfield code="z">(OCoLC)994719168</subfield><subfield code="z">(OCoLC)1003756130</subfield><subfield code="z">(OCoLC)1018083099</subfield><subfield code="z">(OCoLC)1037752636</subfield><subfield code="z">(OCoLC)1038570086</subfield><subfield code="z">(OCoLC)1042325365</subfield><subfield code="z">(OCoLC)1044165224</subfield><subfield code="z">(OCoLC)1044292765</subfield><subfield code="z">(OCoLC)1045505878</subfield><subfield code="z">(OCoLC)1048183497</subfield><subfield code="z">(OCoLC)1055332157</subfield><subfield code="z">(OCoLC)1056361888</subfield><subfield code="z">(OCoLC)1056381136</subfield><subfield code="z">(OCoLC)1059783315</subfield><subfield code="z">(OCoLC)1060853969</subfield><subfield code="z">(OCoLC)1064063984</subfield><subfield code="z">(OCoLC)1069532273</subfield><subfield code="z">(OCoLC)1076583189</subfield><subfield code="z">(OCoLC)1079930912</subfield><subfield code="z">(OCoLC)1081221262</subfield><subfield code="z">(OCoLC)1086506357</subfield><subfield code="z">(OCoLC)1096466138</subfield><subfield code="z">(OCoLC)1107372732</subfield><subfield code="z">(OCoLC)1114470214</subfield><subfield code="z">(OCoLC)1119130031</subfield><subfield code="z">(OCoLC)1125441340</subfield><subfield code="z">(OCoLC)1125686955</subfield><subfield code="z">(OCoLC)1136203019</subfield><subfield code="z">(OCoLC)1136308134</subfield><subfield code="z">(OCoLC)1228594621</subfield><subfield code="z">(OCoLC)1286910423</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">cis4995791</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">11041</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC135</subfield><subfield code="b">.G495 1990eb</subfield></datafield><datafield tag="055" ind1="1" ind2="3"><subfield code="a">BC135</subfield><subfield code="b">.G495 1990eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI</subfield><subfield code="x">011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gill, R. R. Rockingham,</subfield><subfield code="d">1944-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJwRYr93c3J4v4tk3yH3cP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n89650698</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="260" ind1=" " ind2=" "><subfield code="a">London ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Routledge,</subfield><subfield code="c">1990.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 162 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="340" ind1=" " ind2=" "><subfield code="g">polychrome.</subfield><subfield code="2">rdacc</subfield><subfield code="0">http://rdaregistry.info/termList/RDAColourContent/1003</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 150-155) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[Place of publication not identified] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2011.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" 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><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2011</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Decidability (Mathematical logic)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85036191</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Décidabilité (Logique mathématique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</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="653" ind1=" " ind2=" "><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Deducibility and decidability (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCG73jfTfQtfbfKJx4trgJC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Gill, R.R. Rockingham, 1944-</subfield><subfield code="t">Deducibility and decidability.</subfield><subfield code="d">London ; New York : Routledge, 1990</subfield><subfield code="w">(DLC) 89027524</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=76501</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10017095</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">76501</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">11041</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Taylor & Francis</subfield><subfield code="b">TAFR</subfield><subfield code="n">9780203015094</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">301596647</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2279555</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn559475591 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:16:59Z |
| institution | BVB |
| isbn | 0203015096 9780203015094 9786610110414 6610110417 9781134989980 1134989989 9781134989935 1134989938 9781134989973 1134989970 9780415754965 0415754968 |
| language | English |
| oclc_num | 559475591 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 162 pages) |
| psigel | ZDB-4-EBA |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Routledge, |
| record_format | marc |
| spelling | Gill, R. R. Rockingham, 1944- https://id.oclc.org/worldcat/entity/E39PBJwRYr93c3J4v4tk3yH3cP http://id.loc.gov/authorities/names/n89650698 Deducibility and decidability / R.R. Rockingham Gill. London ; New York : Routledge, 1990. 1 online resource (viii, 162 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier polychrome. rdacc http://rdaregistry.info/termList/RDAColourContent/1003 data file Includes bibliographical references (pages 150-155) and index. Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2011. MiAaHDL 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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Decidability (Mathematical logic) http://id.loc.gov/authorities/subjects/sh85036191 Logique symbolique et mathématique. Décidabilité (Logique mathématique) PHILOSOPHY Logic. bisacsh Decidability (Mathematical logic) fast Logic, Symbolic and mathematical fast Mathematical logic has work: Deducibility and decidability (Text) https://id.oclc.org/worldcat/entity/E39PCG73jfTfQtfbfKJx4trgJC https://id.oclc.org/worldcat/ontology/hasWork Print version: Gill, R.R. Rockingham, 1944- Deducibility and decidability. London ; New York : Routledge, 1990 (DLC) 89027524 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=76501 Volltext |
| spellingShingle | Gill, R. R. Rockingham, 1944- Deducibility and decidability / Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Decidability (Mathematical logic) http://id.loc.gov/authorities/subjects/sh85036191 Logique symbolique et mathématique. Décidabilité (Logique mathématique) PHILOSOPHY Logic. bisacsh Decidability (Mathematical logic) fast Logic, Symbolic and mathematical fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85078115 http://id.loc.gov/authorities/subjects/sh85036191 |
| 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 | Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Decidability (Mathematical logic) http://id.loc.gov/authorities/subjects/sh85036191 Logique symbolique et mathématique. Décidabilité (Logique mathématique) PHILOSOPHY Logic. bisacsh Decidability (Mathematical logic) fast Logic, Symbolic and mathematical fast |
| topic_facet | Logic, Symbolic and mathematical. Decidability (Mathematical logic) Logique symbolique et mathématique. Décidabilité (Logique mathématique) PHILOSOPHY Logic. Logic, Symbolic and mathematical |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=76501 |
| work_keys_str_mv | AT gillrrrockingham deducibilityanddecidability |