Andrzej Mostowski and foundational studies:
Gespeichert in:
| Weitere beteiligte Personen: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Amsterdam [u.a.]
Ios Press
2008
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020170144&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XI, 447 S. |
| ISBN: | 9781586037826 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV025571907 | ||
| 003 | DE-604 | ||
| 005 | 20191118 | ||
| 007 | t| | ||
| 008 | 100417s2008 xx |||| 00||| eng d | ||
| 020 | |a 9781586037826 |9 978-1-58603-782-6 | ||
| 035 | |a (OCoLC)175285043 | ||
| 035 | |a (DE-599)BVBBV025571907 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-739 |a DE-83 | ||
| 082 | 0 | |a 510 |2 22 | |
| 084 | |a SF 5900 |0 (DE-625)142927: |2 rvk | ||
| 084 | |a SG 234 |0 (DE-625)143047:13698 |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 01A70 |2 msc | ||
| 084 | |a 03-06 |2 msc | ||
| 084 | |a 01A60 |2 msc | ||
| 245 | 1 | 0 | |a Andrzej Mostowski and foundational studies |c ed. by A. Ehrenfeucht ... |
| 264 | 1 | |a Amsterdam [u.a.] |b Ios Press |c 2008 | |
| 300 | |a XI, 447 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 600 | 1 | 7 | |a Mostowski, Andrzej |d 1913-1975 |0 (DE-588)118584510 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4006432-3 |a Bibliografie |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4006804-3 |a Biografie |2 gnd-content | |
| 689 | 0 | 0 | |a Mostowski, Andrzej |d 1913-1975 |0 (DE-588)118584510 |D p |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Ehrenfeucht, Andrzej |d 1932- |0 (DE-588)1026953294 |4 edt | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020170144&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020170144 | |
Datensatz im Suchindex
| _version_ | 1819371841354989568 |
|---|---|
| adam_text | Contents
Preface
Andrzej
Ehrenfeucht, Victor
W. Marek and Marian Srebrny
v
Section
1.
History
1
On the Life and Work of
Andrzej Mostowski
(1913-1975)
Stanisław Krajewski
and Marian
Srebrny
3
Mathematical Logic in Warsaw in the 60 s and 70 s, or the Interaction of Logic
and Life
Victor
W. Marek
15
Mathematical Logic in Warsaw:
1918-1939
Jan Woleński
30
Section
2.
Mathematical Contributions
47
The Three-Valued Logic of Quadratic Form Theory over Real Rings
Max
Dickmann
and Alejandro Petrovich
49
Remarks on
Godei
Phenomena and the Field of Reals
Harvey M. Friedman
68
Undecidability and Concatenation
Andrzej Grzegorczyk
and
Konrad Zdanowski
72
Witness Quantifiers and
0-1
Laws
Wojciech Guzicki
and
Michal
Krynicki
92
Logic for Artificial Intelligence: A Rasiowa-Pawlak School Perspective
Andrzej Janków
ski and
Andrzej Skowron
106
Contributions to the Theory of Weakly Distributive Complete Boolean Algebras
Bohuslav
Balear
and Thomas Jech
144
Quantifiers in Limits
H. Jerome Keisler
151
The Kleene-Mostowski Hierarchy and the Davis-Mostowski Hierarchy
Julia
E
Knight
171
A Model Theoretic Approach to Proof Theory of Arithmetic
Henryk Kotlarski
198
Towards Decidability of the Theory of Pseudo-Finite Dimensional
Representations of s/2 {k)
;
I
Sonia
L Innocente
and Angus Maclntyre
235
Encounters with A. Mostowski
Johann
A. Makowsky
261
Observations on Truth, Consistency and Lengths of Proofs
Jan Mycielski
278
The Algebraic Interpretation of Quantifiers: Intuitionistic and Classical
Dana S. Scott
289
Abstracting and Generalizing Pseudorecursiveness
Benjamin Wells
313
Andrzej
Mostowski on the Foundations and Philosophy of Mathematics
Roman Murawski and
Jan Woleński
324
Section
3.
Bibliography of
Andrzej
Mostowski
339
Bibliography of
Andrzej
Mostowski
Jan Zygmunt
341
Section
4.
Memories
373
Warsaw
1957:
Memories of Mostowski
John W. Addison
375
Andrzej
Mostowski
-
My Master in Mathematics
Andrzej Jacek Blikle
380
Our Reminiscences of
Andrzej
Mostowski
Emilio
del Solar and Max
Dickmann 3 84
Andrzej
Mostowski: An Appreciation
Solomon Feferman
388
Andrzej
Mostowski as Teacher and Editor
Einar
H
.
Fredriksson
393
Mostowski and Czech-Polish Cooperation in Mathematical Logic
Petr Hájek,
Victor
W. Marek
and
Petr Vopěnka
403
Reminiscences of Warsaw and Logic,
1964
Peter G. Hinman
406
From Mathematical Logic, to Natural Language, Artificial Intelligence, and
Human Thinking (A Short Essay in Honour of
Andrzej
Mostowski)
Robert
Kowalski
410
A Very Personal Recollection
Hidemitsu Sayeki
414
The Prince of Logic
Benjamin Wells
421
Remembrances of Professor
Andrzej
Mostowski
Kazimierz Wiśniewski
429
Name Index
435
Author Index
447
|
| any_adam_object | 1 |
| author2 | Ehrenfeucht, Andrzej 1932- |
| author2_role | edt |
| author2_variant | a e ae |
| author_GND | (DE-588)1026953294 |
| author_facet | Ehrenfeucht, Andrzej 1932- |
| building | Verbundindex |
| bvnumber | BV025571907 |
| classification_rvk | SF 5900 SG 234 SK 130 |
| ctrlnum | (OCoLC)175285043 (DE-599)BVBBV025571907 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01758nam a2200457 c 4500</leader><controlfield tag="001">BV025571907</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191118 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100417s2008 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586037826</subfield><subfield code="9">978-1-58603-782-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)175285043</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025571907</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-11</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SF 5900</subfield><subfield code="0">(DE-625)142927:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 234</subfield><subfield code="0">(DE-625)143047:13698</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">01A70</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">01A60</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Andrzej Mostowski and foundational studies</subfield><subfield code="c">ed. by A. Ehrenfeucht ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Ios Press</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 447 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="600" ind1="1" ind2="7"><subfield code="a">Mostowski, Andrzej</subfield><subfield code="d">1913-1975</subfield><subfield code="0">(DE-588)118584510</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4006432-3</subfield><subfield code="a">Bibliografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4006804-3</subfield><subfield code="a">Biografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mostowski, Andrzej</subfield><subfield code="d">1913-1975</subfield><subfield code="0">(DE-588)118584510</subfield><subfield code="D">p</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrenfeucht, Andrzej</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)1026953294</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=020170144&sequence=000002&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-020170144</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)4006432-3 Bibliografie gnd-content (DE-588)4006804-3 Biografie gnd-content |
| genre_facet | Aufsatzsammlung Bibliografie Biografie |
| id | DE-604.BV025571907 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T14:30:35Z |
| institution | BVB |
| isbn | 9781586037826 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020170144 |
| oclc_num | 175285043 |
| open_access_boolean | |
| owner | DE-11 DE-739 DE-83 |
| owner_facet | DE-11 DE-739 DE-83 |
| physical | XI, 447 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Ios Press |
| record_format | marc |
| spellingShingle | Andrzej Mostowski and foundational studies Mostowski, Andrzej 1913-1975 (DE-588)118584510 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)118584510 (DE-588)4037951-6 (DE-588)4143413-4 (DE-588)4006432-3 (DE-588)4006804-3 |
| title | Andrzej Mostowski and foundational studies |
| title_auth | Andrzej Mostowski and foundational studies |
| title_exact_search | Andrzej Mostowski and foundational studies |
| title_full | Andrzej Mostowski and foundational studies ed. by A. Ehrenfeucht ... |
| title_fullStr | Andrzej Mostowski and foundational studies ed. by A. Ehrenfeucht ... |
| title_full_unstemmed | Andrzej Mostowski and foundational studies ed. by A. Ehrenfeucht ... |
| title_short | Andrzej Mostowski and foundational studies |
| title_sort | andrzej mostowski and foundational studies |
| topic | Mostowski, Andrzej 1913-1975 (DE-588)118584510 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mostowski, Andrzej 1913-1975 Mathematische Logik Aufsatzsammlung Bibliografie Biografie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020170144&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ehrenfeuchtandrzej andrzejmostowskiandfoundationalstudies |