Handbook of the history of logic: 5 Logic from Russell to Church
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
Elsevier North Holland
2009
|
| Edition: | 1. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 1056 S. |
| ISBN: | 9780444516206 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV035559268 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 090610s2009 |||| 00||| eng d | ||
| 020 | |a 9780444516206 |9 978-0-444-51620-6 | ||
| 035 | |a (OCoLC)628500748 | ||
| 035 | |a (DE-599)BVBBV035559268 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-12 |a DE-11 |a DE-19 | ||
| 084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Handbook of the history of logic |n 5 |p Logic from Russell to Church |c edited by Dov M. Gabbay ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Amsterdam |b Elsevier North Holland |c 2009 | |
| 300 | |a XII, 1056 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 648 | 7 | |a Geschichte |2 gnd |9 rswk-swf | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Logic |x History | |
| 650 | 0 | 7 | |a Induktive Logik |0 (DE-588)4161594-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Geschichte |A z |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Induktive Logik |0 (DE-588)4161594-3 |D s |
| 689 | 1 | 1 | |a Geschichte |A z |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |0 (DE-588)124196314 |4 edt | |
| 773 | 0 | 8 | |w (DE-604)BV017784954 |g 5 |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017615043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017615043 | |
Record in the Search Index
| _version_ | 1807955909559713792 |
|---|---|
| adam_text |
CONTENTS PREFACE VLL DOV M. GABBAY AND JOHN WOODS LIST OF CONTRIBUTORS
XL BERTRAND RUSSELL'S LOGIC 1 ANDREW D. IRVINE LOGIC FOR MEINONGIAN
OBJECT THEORY SERNANTICS 29 DALE JACQUETTE THE LOGIC OF BROUWER AND
HEYTING 77 JOAN RAND MOSCHOVAKIS THORALF ALBERT SKOLERN 127 JENS ERIK
FENSTAD AND HAO WANG JACQUES HERBRAND: LIFE, LOGIC, AND AUTORNATED
DEDUCTION 195 CLAUS-PETER WIRTH, JOERG SIEKMANN, CHRISTOPH BENZMUELLER AND
SERGE AUTEXIER THE LOGIC OF THE TRACTATUS 255 MICHAEL POTTER
LESNIEWSKI'S LOGIC 305 PETER M. SIMONS HILBERT'S PROOF THEORY 321
WILFRIED SIEG HILBERT'S EPSILON CALCULUS AND ITS SUCCESSORS 385 BARRY
HARTLEY SLATER GOEDEL'S LOGIC 449 MARK VAN ATTEN AND JULIETTE KENNEDY
TARSKI' S LOGIC 511 KEITH SIMMONS VI CONTENTS 667 617 EMIL POST ALASDAIR
URQUHART GENTZEN'S LOGIC J AN VON PLATO LAMBDA-CALCULUS AND COMBINATORS
IN THE 20TH CENTURY 723 FELIEE CARDONE AND J. ROGER HINDLEY THE LOGIC OF
CHURCH AND CURRY 819 JONATHAN P. SELDIN PARADOXES, SELF-REFERENCE AND
TRUTH IN THE 20TH CENTURY 875 ANDREA CANTINI INDEX 1015 |
| any_adam_object | 1 |
| author2 | Gabbay, Dov M. 1945- |
| author2_role | edt |
| author2_variant | d m g dm dmg |
| author_GND | (DE-588)124196314 |
| author_facet | Gabbay, Dov M. 1945- |
| building | Verbundindex |
| bvnumber | BV035559268 |
| classification_rvk | CC 2000 |
| ctrlnum | (OCoLC)628500748 (DE-599)BVBBV035559268 |
| discipline | Philosophie |
| edition | 1. ed. |
| era | Geschichte gnd |
| era_facet | Geschichte |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV035559268</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090610s2009 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444516206</subfield><subfield code="9">978-0-444-51620-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)628500748</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035559268</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-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2000</subfield><subfield code="0">(DE-625)17606:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of the history of logic</subfield><subfield code="n">5</subfield><subfield code="p">Logic from Russell to Church</subfield><subfield code="c">edited by Dov M. Gabbay ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier North Holland</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 1056 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="648" ind1=" " ind2="7"><subfield code="a">Geschichte</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield><subfield code="x">History</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Geschichte</subfield><subfield code="A">z</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">Induktive Logik</subfield><subfield code="0">(DE-588)4161594-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Geschichte</subfield><subfield code="A">z</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">edt</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV017784954</subfield><subfield code="g">5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017615043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017615043</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV035559268 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-21T00:45:14Z |
| institution | BVB |
| isbn | 9780444516206 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017615043 |
| oclc_num | 628500748 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-11 DE-19 DE-BY-UBM |
| owner_facet | DE-29 DE-12 DE-11 DE-19 DE-BY-UBM |
| physical | XII, 1056 S. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Elsevier North Holland |
| record_format | marc |
| spelling | Handbook of the history of logic 5 Logic from Russell to Church edited by Dov M. Gabbay ... 1. ed. Amsterdam Elsevier North Holland 2009 XII, 1056 S. txt rdacontent n rdamedia nc rdacarrier Geschichte gnd rswk-swf Geschichte Logic History Induktive Logik (DE-588)4161594-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Logik (DE-588)4036202-4 s Geschichte z DE-604 Induktive Logik (DE-588)4161594-3 s Gabbay, Dov M. 1945- (DE-588)124196314 edt (DE-604)BV017784954 5 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017615043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handbook of the history of logic Geschichte Logic History Induktive Logik (DE-588)4161594-3 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4161594-3 (DE-588)4036202-4 (DE-588)4143413-4 |
| title | Handbook of the history of logic |
| title_auth | Handbook of the history of logic |
| title_exact_search | Handbook of the history of logic |
| title_full | Handbook of the history of logic 5 Logic from Russell to Church edited by Dov M. Gabbay ... |
| title_fullStr | Handbook of the history of logic 5 Logic from Russell to Church edited by Dov M. Gabbay ... |
| title_full_unstemmed | Handbook of the history of logic 5 Logic from Russell to Church edited by Dov M. Gabbay ... |
| title_short | Handbook of the history of logic |
| title_sort | handbook of the history of logic logic from russell to church |
| topic | Geschichte Logic History Induktive Logik (DE-588)4161594-3 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Geschichte Logic History Induktive Logik Logik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017615043&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV017784954 |
| work_keys_str_mv | AT gabbaydovm handbookofthehistoryoflogic5 |