Modern logic 1850-1950, east and west:
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
[Basel]
Birkhäuser
[2016]
|
| Schriftenreihe: | Studies in universal logic
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHR01 FRO01 TUM01 UBM01 UBT01 UBW01 UEI01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIII, 258 Seiten, 75 illus., 4 illus. in color) |
| ISBN: | 9783319247564 |
| ISSN: | 2297-0282 |
| DOI: | 10.1007/978-3-319-24756-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043579557 | ||
| 003 | DE-604 | ||
| 005 | 20220314 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160601s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319247564 |c Online |9 978-3-319-24756-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-24756-4 |2 doi | |
| 035 | |a (ZDB-2-SMA)978-3-319-24756-4 | ||
| 035 | |a (OCoLC)951031703 | ||
| 035 | |a (DE-599)BVBBV043579557 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-20 |a DE-739 |a DE-634 |a DE-898 |a DE-861 |a DE-703 |a DE-824 |a DE-83 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Modern logic 1850-1950, east and west |c Francine F. Abeles, Mark E. Fuller, editors |
| 264 | 1 | |a [Basel] |b Birkhäuser |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online-Ressource (XIII, 258 Seiten, 75 illus., 4 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in universal logic |x 2297-0282 | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a History | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a History of Mathematical Sciences | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Mathematik | |
| 700 | 1 | |a Abeles, Francine F. |4 edt | |
| 700 | 1 | |a Fuller, Mark E. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-24754-0 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-24756-4 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994230&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q ZDB-2-SMA_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028994230 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l FHR01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l UEI01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-24756-4 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176260862050304 |
|---|---|
| adam_text | MODERN LOGIC 1850-1950, EAST AND WEST
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
CONTRIBUTORS
INTRODUCTION
IRVING H. ANELLIS: PREFACE AND PROSPECTUS
IRVING H. ANELLIS AND FRANCINE F. ABELES: THE HISTORICAL SOURCES OF TREE
GRAPHS AND THE TREE METHOD IN THE WORK OF PEIRCE AND GENTZEN
JEAN PAUL VAN BENDEGEM: LOGIC AND ARGUMENTATION IN BELGIUM: THE ROLE OF
LEO APOSTEL
PHILIPPE DE ROUILHAN: TARSKI’S RECANTATION: READING THE POSTSCRIPT TO
“WAHRHEITSBEGRIFF”
JAN WOLENSKI: THE PARADOX OF ANALYTICITY AND RELATED ISSUES
DAVID DEVIDI AND HERBERT KORTE: NATURALIZING NATURAL DEDUCTION
ALBERTO PERUZZI: CATEGORY THEORY AND THE SEARCH FOR UNIVERSALS: A VERY
SHORT GUIDE FOR PHILOSOPHERS
ROMAN MURAWSKI: ON THE WAY TO MODERN LOGIC – THE CASE OF POLISH LOGIC
VALENTIN A. BAZHANOV: RUSSIAN ORIGINS OF NON-CLASSICAL LOGICS
VLADIK KREINOVICH: CONSTRUCTIVE MATHEMATICS IN ST. PETERSBURG, RUSSIA: A
(SOMEWHAT SUBJECTIVE) VIEW FROM WITHIN
JONATHAN P. SELDIN: ON NORMALIZING DISJUNCTIVE INTERMEDIATE LOGIC
R.E. HODEL: A NATURAL AXIOM SYSTEM FOR BOOLEAN ALGEBRAS WITH
APPLICATIONS.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
MODERN LOGIC 1850-1950, EAST AND WEST
/
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK PRESENTS DIVERSE TOPICS IN MATHEMATICAL LOGIC SUCH AS PROOF
THEORY, META-MATHEMATICS, AND APPLICATIONS OF LOGIC TO MATHEMATICAL
STRUCTURES. THE COLLECTION SPANS THE FIRST 100 YEARS OF MODERN LOGIC AND
IS DEDICATED TO THE MEMORY OF IRVING ANELLIS, FOUNDER OF THE JOURNAL
MODERN LOGIC , WHOSE ACADEMIC WORK WAS ESSENTIAL IN PROMOTING THE
ALGEBRAIC TRADITION OF LOGIC, AS REPRESENTED BY CHARLES SANDERS PEIRCE.
ANELLIS’S ASSOCIATION WITH THE RUSSIAN LOGIC COMMUNITY INTRODUCED
THEIR SCHOOL OF LOGIC TO A WIDER AUDIENCE IN THE USA, CANADA AND WESTERN
EUROPE. IN ADDITION, THE COLLECTION TAKES A HISTORICAL PERSPECTIVE ON
PROOF THEORY AND THE DEVELOPMENT OF LOGIC AND MATHEMATICS IN EASTERN
LOGIC, THE SOVIET UNION AND RUSSIA. THE BOOK WILL BE OF INTEREST TO
HISTORIANS AND PHILOSOPHERS IN LOGIC AND MATHEMATICS, AND THE MORE
SPECIALIZED PAPERS WILL ALSO APPEAL TO MATHEMATICIANS AND LOGICIANS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Abeles, Francine F. Fuller, Mark E. |
| author2_role | edt edt |
| author2_variant | f f a ff ffa m e f me mef |
| author_facet | Abeles, Francine F. Fuller, Mark E. |
| building | Verbundindex |
| bvnumber | BV043579557 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (ZDB-2-SMA)978-3-319-24756-4 (OCoLC)951031703 (DE-599)BVBBV043579557 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-319-24756-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02970nmm a2200613zc 4500</leader><controlfield tag="001">BV043579557</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220314 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160601s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319247564</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-24756-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-24756-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)978-3-319-24756-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)951031703</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043579557</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modern logic 1850-1950, east and west</subfield><subfield code="c">Francine F. Abeles, Mark E. Fuller, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Basel]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 258 Seiten, 75 illus., 4 illus. in color)</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="490" ind1="0" ind2=" "><subfield code="a">Studies in universal logic</subfield><subfield code="x">2297-0282</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">History of Mathematical Sciences</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abeles, Francine F.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fuller, Mark E.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-24754-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028994230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028994230&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028994230</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-24756-4</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043579557 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:29:22Z |
| institution | BVB |
| isbn | 9783319247564 |
| issn | 2297-0282 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028994230 |
| oclc_num | 951031703 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83 |
| physical | 1 Online-Ressource (XIII, 258 Seiten, 75 illus., 4 illus. in color) |
| psigel | ZDB-2-SMA ZDB-2-SMA_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Birkhäuser |
| record_format | marc |
| series2 | Studies in universal logic |
| spelling | Modern logic 1850-1950, east and west Francine F. Abeles, Mark E. Fuller, editors [Basel] Birkhäuser [2016] © 2016 1 Online-Ressource (XIII, 258 Seiten, 75 illus., 4 illus. in color) txt rdacontent c rdamedia cr rdacarrier Studies in universal logic 2297-0282 Mathematics Logic History Mathematical logic Mathematical Logic and Foundations History of Mathematical Sciences Geschichte Mathematik Abeles, Francine F. edt Fuller, Mark E. edt Erscheint auch als Druckausgabe 978-3-319-24754-0 https://doi.org/10.1007/978-3-319-24756-4 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994230&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Modern logic 1850-1950, east and west Mathematics Logic History Mathematical logic Mathematical Logic and Foundations History of Mathematical Sciences Geschichte Mathematik |
| title | Modern logic 1850-1950, east and west |
| title_auth | Modern logic 1850-1950, east and west |
| title_exact_search | Modern logic 1850-1950, east and west |
| title_full | Modern logic 1850-1950, east and west Francine F. Abeles, Mark E. Fuller, editors |
| title_fullStr | Modern logic 1850-1950, east and west Francine F. Abeles, Mark E. Fuller, editors |
| title_full_unstemmed | Modern logic 1850-1950, east and west Francine F. Abeles, Mark E. Fuller, editors |
| title_short | Modern logic 1850-1950, east and west |
| title_sort | modern logic 1850 1950 east and west |
| topic | Mathematics Logic History Mathematical logic Mathematical Logic and Foundations History of Mathematical Sciences Geschichte Mathematik |
| topic_facet | Mathematics Logic History Mathematical logic Mathematical Logic and Foundations History of Mathematical Sciences Geschichte Mathematik |
| url | https://doi.org/10.1007/978-3-319-24756-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994230&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994230&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT abelesfrancinef modernlogic18501950eastandwest AT fullermarke modernlogic18501950eastandwest |