The logic of provability
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | अज्ञात या अवैध भाषा अंग्रेज़ी |
| प्रकाशित: |
Cambridge University Press
1993
|
| विषय: | |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| _version_ | 1830915032779587585 |
|---|---|
| author | Boolos, George |
| author2 | Boolos, George |
| author2_role | |
| author2_variant | g b gb |
| author_facet | Boolos, George Boolos, George |
| author_role | |
| author_sort | Boolos, George |
| author_variant | g b gb |
| building | CSSSC Library |
| contents | Preface--Introduction--GL and other systems of propositional modal logic--Peano arithmetic--The box as Bew(x)--Semantics for GL and other modal logics--Completeness and decidability of GL and K, K4, T, B, S4 and S5--Canonical models--On GL---The fixed poi |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00860nam a2200253Ia 4500</leader><controlfield tag="001">25329</controlfield><controlfield tag="003">OSt</controlfield><controlfield tag="005">20191017085841.0</controlfield><controlfield tag="008">160726s9999 xx 000 0 und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">521483255</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">CSSSC</subfield><subfield code="c">CSSSC</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">164BOO</subfield></datafield><datafield tag="100" ind1=" " ind2=" "><subfield code="a">Boolos, George</subfield></datafield><datafield tag="245" ind1=" " ind2="4"><subfield code="a">The logic of provability</subfield><subfield code="c">George Boolos</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">276 p</subfield><subfield code="c">23 cm</subfield></datafield><datafield tag="365" ind1=" " ind2=" "><subfield code="b">GBP 25.00</subfield></datafield><datafield tag="505" ind1=" " ind2=" "><subfield code="a">Preface--Introduction--GL and other systems of propositional modal logic--Peano arithmetic--The box as Bew(x)--Semantics for GL and other modal logics--Completeness and decidability of GL and K, K4, T, B, S4 and S5--Canonical models--On GL---The fixed poi</subfield></datafield><datafield tag="650" ind1=" " ind2=" "><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2=" "><subfield code="a">Proof theory</subfield></datafield><datafield tag="700" ind1=" " ind2=" "><subfield code="a">Boolos, George</subfield></datafield><datafield tag="942" ind1=" " ind2=" "><subfield code="2">udc</subfield><subfield code="c">BK</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="0">0</subfield><subfield code="1">0</subfield><subfield code="2">udc</subfield><subfield code="4">0</subfield><subfield code="6">164BOO</subfield><subfield code="7">0</subfield><subfield code="9">14909</subfield><subfield code="a">CSSSC</subfield><subfield code="b">CSSSC</subfield><subfield code="d">2016-07-27</subfield><subfield code="l">0</subfield><subfield code="o">164BOO</subfield><subfield code="p">18903</subfield><subfield code="r">2016-07-27 00:00:00</subfield><subfield code="t">1</subfield><subfield code="w">2016-07-27</subfield><subfield code="y">BK</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="c">14851</subfield><subfield code="d">14851</subfield></datafield></record></collection> |
| id | csssc.14851 |
| illustrated | Not Illustrated |
| institution | Centre for Studies in Social Sciences, Calcutta |
| isbn | 521483255 |
| language | Undetermined English |
| marc_error | [first_indexed]Unable to connect to VuFind database; Communications link failure
The last packet sent successfully to the server was 0 milliseconds ago. The driver has not received any packets from the server. [last_indexed]Unable to connect to VuFind database; Communications link failure The last packet sent successfully to the server was 0 milliseconds ago. The driver has not received any packets from the server. |
| physical | 276 p 23 cm |
| publishDate | 1993 |
| publisher | Cambridge University Press |
| record_format | XML |
| spelling | Boolos, George The logic of provability George Boolos Cambridge Cambridge University Press 1993 276 p 23 cm GBP 25.00 Preface--Introduction--GL and other systems of propositional modal logic--Peano arithmetic--The box as Bew(x)--Semantics for GL and other modal logics--Completeness and decidability of GL and K, K4, T, B, S4 and S5--Canonical models--On GL---The fixed poi Modality (Logic) Proof theory |
| spellingShingle | Boolos, George The logic of provability Preface--Introduction--GL and other systems of propositional modal logic--Peano arithmetic--The box as Bew(x)--Semantics for GL and other modal logics--Completeness and decidability of GL and K, K4, T, B, S4 and S5--Canonical models--On GL---The fixed poi Modality (Logic) Proof theory |
| title | The logic of provability |
| title_auth | The logic of provability |
| title_full | The logic of provability George Boolos |
| title_fullStr | The logic of provability George Boolos |
| title_full_unstemmed | The logic of provability George Boolos |
| title_short | The logic of provability |
| title_sort | logic of provability |
| topic | Modality (Logic) Proof theory |
| topic_facet | Modality (Logic) Proof theory |
| work_keys_str_mv | AT boolosgeorge thelogicofprovability AT boolosgeorge logicofprovability |