Andrzej Mostowski and foundational studies /:
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.
Gespeichert in:
| Weitere Verfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, D.C. :
Ios Press,
©2008.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings. |
| Beschreibung: | 1 online resource (xi, 447 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and indexes. |
| ISBN: | 9781435677807 1435677803 9781607502722 1607502720 9781433712265 1433712261 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn646750826 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 071019s2008 ne a ob 011 0deng d | ||
| 010 | |z 2007939570 | ||
| 040 | |a E7B |b eng |e pn |c E7B |d OCLCQ |d N$T |d IOSPR |d YDXCP |d IDEBK |d OCLCA |d OCLCQ |d OCLCO |d DKDLA |d OCLCQ |d OCLCF |d OCLCO |d EBLCP |d MERUC |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d AZK |d OCLCO |d LOA |d COCUF |d AGLDB |d PIFAG |d ZCU |d OCLCA |d OCLCQ |d U3W |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d OCLCO |d WYU |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCL |d OCLCQ |d OCLCO |d AU@ |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 275169353 |a 437212158 |a 476162591 |a 491262585 |a 961529366 |a 962628780 |a 966220656 |a 991920397 |a 1037741371 |a 1038697234 |a 1045503433 |a 1055315754 |a 1058084148 |a 1062893358 |a 1081273826 |a 1097158058 | ||
| 020 | |a 9781435677807 |q (electronic bk.) | ||
| 020 | |a 1435677803 |q (electronic bk.) | ||
| 020 | |a 9781607502722 | ||
| 020 | |a 1607502720 | ||
| 020 | |a 9781433712265 |q (electronic bk.) | ||
| 020 | |a 1433712261 |q (electronic bk.) | ||
| 020 | |z 158603782X | ||
| 020 | |z 9781586037826 | ||
| 035 | |a (OCoLC)646750826 |z (OCoLC)275169353 |z (OCoLC)437212158 |z (OCoLC)476162591 |z (OCoLC)491262585 |z (OCoLC)961529366 |z (OCoLC)962628780 |z (OCoLC)966220656 |z (OCoLC)991920397 |z (OCoLC)1037741371 |z (OCoLC)1038697234 |z (OCoLC)1045503433 |z (OCoLC)1055315754 |z (OCoLC)1058084148 |z (OCoLC)1062893358 |z (OCoLC)1081273826 |z (OCoLC)1097158058 | ||
| 037 | |a 978-1-58603-782-6 |b IOS Press |n http://www.iospress.nl | ||
| 043 | |a e-pl--- | ||
| 050 | 4 | |a QA29.M67 |b A53 2008eb | |
| 072 | 7 | |a COM |x MAT000000 |2 bisacsh | |
| 082 | 7 | |a 510 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Andrzej Mostowski and foundational studies / |c edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b Ios Press, |c ©2008. | ||
| 300 | |a 1 online resource (xi, 447 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 0 | 0 | |t On the life and work of Andrzej Mostowski (1913-1975) / |r Stanisław Krajewski and Marian Srebrny -- |t Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life / |r Victor W. Marek -- |t Mathematical logic in Warsaw: 1918-1939 / |r Jan Woleński -- |t Three-valued logic of quadratic form theory over real rings / |r Max Dickmann and Alejandro Petrovich -- |t Remarks on Gödel phenomena and the field of reals / |r Harvey M. Friedman -- |t Undecidability and concatenation / |r Andrzej Grzegorczyk and Konrad Zdanowski -- |t Witness quantifiers and 0-1 laws / |r Wojciech Guzicki and Michał Krynicki -- |t Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / |r Andrzej Jankowski and Andrzej Skowron -- |t Contributions to the theory of weakly distributive complete Boolean algebras / |r Bohuslav Balcar and Thomas Jech -- |t Quantifiers in limits / |r H. Jerome Keisler -- |t Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy / |r Julia F. Knight -- |t Model theoretic approach to proof theory of arithmetic / |r Henryk Kotlarski -- |t Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I / |r Sonia L'Innocente and Angus MacIntyre -- |t Encounters with A. Mostowski / |r J.A. Makowsky -- |t Observations on truth, consistency and lengths of proofs / |r Jan Mycielski -- |t Algebraic interpretation of quantifiers: intuitionistic and classical / |r Dana S. Scott -- |t Abstracting and generalizing pseudorecursiveness / |r Benjamin Wells -- |t Andrzej Mostowski on the foundations and philosophy of mathematics / |r Roman Murawski and Jan Woleński -- |t Bibliography of Andrzej Mostowski / |r Jan Zygmunt -- |t Warsaw 1957: memories of Mostowski / |r J.W. Addison -- |t Andrzej Mostowski: my master in mathematics / |r Andrzej Jacek Blikle -- |t Our reminiscences of Andrzej Mostowski / |r Emilio del Solar and Max Dickmann -- |t Andrzej Mostowski: an appreciation / |r Solomon Feferman -- |t Andrzej Mostowski as teacher and editor / |r Einar H. Fredriksson -- |t Mostowski and Czech-Polish cooperation in mathematical logic / |r P. Hájek, V.W. Marek and P. Vopěnka -- |t Reminiscences of Warsaw and logic, 1964 / |r Peter G. Hinman -- |t From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski / |r Robert Kowalski -- |t Very personal recollection / |r Hidemitsu Sayeki -- |t Prince of logic / |r Benjamin Wells -- |t Remembrances of Professor Andrzej Mostowski / |r Kazimierz Wiśniewski. |
| 588 | 0 | |a Print version record. | |
| 520 | |a Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings. | ||
| 600 | 1 | 0 | |a Mostowski, Andrzej. |
| 600 | 1 | 7 | |a Mostowski, Andrzej |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJdRtKhJkMrKjBDfjTrXh3 |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Mathematical analysis |x Foundations. |0 http://id.loc.gov/authorities/subjects/sh85082117 | |
| 650 | 0 | |a Logicians |z Poland |v Biography. | |
| 650 | 0 | |a Mathematicians |z Poland |v Biography. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Analyse mathématique |x Fondements. | |
| 650 | 6 | |a Logiciens |z Pologne |v Biographies. | |
| 650 | 6 | |a Mathématiciens |z Pologne |v Biographies. | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Logicians |2 fast | |
| 650 | 7 | |a Mathematical analysis |x Foundations |2 fast | |
| 650 | 7 | |a Mathematicians |2 fast | |
| 651 | 7 | |a Poland |2 fast |1 https://id.oclc.org/worldcat/entity/E39QbtfRgyP3qcDKmj68x7FVbM | |
| 655 | 7 | |a Biographies |2 fast | |
| 700 | 1 | |a Mostowski, Andrzej. | |
| 700 | 1 | |a Ehrenfeucht, Andrzej. |0 http://id.loc.gov/authorities/names/n95119816 | |
| 700 | 1 | |a Marek, V. W. |q (V. Wiktor), |d 1943- | |
| 700 | 1 | |a Srebrny, Marian, |d 1947- |1 https://id.oclc.org/worldcat/entity/E39PCjDbRhv3RkxvkxKhG88dpK |0 http://id.loc.gov/authorities/names/n84009670 | |
| 758 | |i has work: |a Andrzej Mostowski and foundational studies (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG6VPb7dGFGWTRp8yXrkTb |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Andrzej Mostowski and foundational studies. |d Amsterdam ; Washington, D.C. : Ios Press, ©2008 |w (DLC) 2007939570 |
| 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=244447 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL346207 | ||
| 938 | |a ebrary |b EBRY |n ebr10231724 | ||
| 938 | |a EBSCOhost |b EBSC |n 244447 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 173332 | ||
| 938 | |a YBP Library Services |b YANK |n 2823746 | ||
| 938 | |a YBP Library Services |b YANK |n 2906923 | ||
| 938 | |a YBP Library Services |b YANK |n 3207283 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn646750826 |
|---|---|
| _version_ | 1816881724947169280 |
| adam_text | |
| any_adam_object | |
| author2 | Mostowski, Andrzej Ehrenfeucht, Andrzej Marek, V. W. (V. Wiktor), 1943- Srebrny, Marian, 1947- |
| author2_role | |
| author2_variant | a m am a e ae v w m vw vwm m s ms |
| author_GND | http://id.loc.gov/authorities/names/n95119816 http://id.loc.gov/authorities/names/n84009670 |
| author_additional | Stanisław Krajewski and Marian Srebrny -- Victor W. Marek -- Jan Woleński -- Max Dickmann and Alejandro Petrovich -- Harvey M. Friedman -- Andrzej Grzegorczyk and Konrad Zdanowski -- Wojciech Guzicki and Michał Krynicki -- Andrzej Jankowski and Andrzej Skowron -- Bohuslav Balcar and Thomas Jech -- H. Jerome Keisler -- Julia F. Knight -- Henryk Kotlarski -- Sonia L'Innocente and Angus MacIntyre -- J.A. Makowsky -- Jan Mycielski -- Dana S. Scott -- Benjamin Wells -- Roman Murawski and Jan Woleński -- Jan Zygmunt -- J.W. Addison -- Andrzej Jacek Blikle -- Emilio del Solar and Max Dickmann -- Solomon Feferman -- Einar H. Fredriksson -- P. Hájek, V.W. Marek and P. Vopěnka -- Peter G. Hinman -- Robert Kowalski -- Hidemitsu Sayeki -- Kazimierz Wiśniewski. |
| author_facet | Mostowski, Andrzej Ehrenfeucht, Andrzej Marek, V. W. (V. Wiktor), 1943- Srebrny, Marian, 1947- |
| author_sort | Mostowski, Andrzej |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA29 |
| callnumber-raw | QA29.M67 A53 2008eb |
| callnumber-search | QA29.M67 A53 2008eb |
| callnumber-sort | QA 229 M67 A53 42008EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | On the life and work of Andrzej Mostowski (1913-1975) / Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life / Mathematical logic in Warsaw: 1918-1939 / Three-valued logic of quadratic form theory over real rings / Remarks on Gödel phenomena and the field of reals / Undecidability and concatenation / Witness quantifiers and 0-1 laws / Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / Contributions to the theory of weakly distributive complete Boolean algebras / Quantifiers in limits / Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy / Model theoretic approach to proof theory of arithmetic / Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I / Encounters with A. Mostowski / Observations on truth, consistency and lengths of proofs / Algebraic interpretation of quantifiers: intuitionistic and classical / Abstracting and generalizing pseudorecursiveness / Andrzej Mostowski on the foundations and philosophy of mathematics / Bibliography of Andrzej Mostowski / Warsaw 1957: memories of Mostowski / Andrzej Mostowski: my master in mathematics / Our reminiscences of Andrzej Mostowski / Andrzej Mostowski: an appreciation / Andrzej Mostowski as teacher and editor / Mostowski and Czech-Polish cooperation in mathematical logic / Reminiscences of Warsaw and logic, 1964 / From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski / Very personal recollection / Prince of logic / Remembrances of Professor Andrzej Mostowski / |
| ctrlnum | (OCoLC)646750826 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07204cam a2200853Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn646750826</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">071019s2008 ne a ob 011 0deng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2007939570</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">IOSPR</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DKDLA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">MERUC</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AZK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">LOA</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCA</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">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AU@</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">275169353</subfield><subfield code="a">437212158</subfield><subfield code="a">476162591</subfield><subfield code="a">491262585</subfield><subfield code="a">961529366</subfield><subfield code="a">962628780</subfield><subfield code="a">966220656</subfield><subfield code="a">991920397</subfield><subfield code="a">1037741371</subfield><subfield code="a">1038697234</subfield><subfield code="a">1045503433</subfield><subfield code="a">1055315754</subfield><subfield code="a">1058084148</subfield><subfield code="a">1062893358</subfield><subfield code="a">1081273826</subfield><subfield code="a">1097158058</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781435677807</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1435677803</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607502722</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607502720</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781433712265</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1433712261</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">158603782X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586037826</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)646750826</subfield><subfield code="z">(OCoLC)275169353</subfield><subfield code="z">(OCoLC)437212158</subfield><subfield code="z">(OCoLC)476162591</subfield><subfield code="z">(OCoLC)491262585</subfield><subfield code="z">(OCoLC)961529366</subfield><subfield code="z">(OCoLC)962628780</subfield><subfield code="z">(OCoLC)966220656</subfield><subfield code="z">(OCoLC)991920397</subfield><subfield code="z">(OCoLC)1037741371</subfield><subfield code="z">(OCoLC)1038697234</subfield><subfield code="z">(OCoLC)1045503433</subfield><subfield code="z">(OCoLC)1055315754</subfield><subfield code="z">(OCoLC)1058084148</subfield><subfield code="z">(OCoLC)1062893358</subfield><subfield code="z">(OCoLC)1081273826</subfield><subfield code="z">(OCoLC)1097158058</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-58603-782-6</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="043" ind1=" " ind2=" "><subfield code="a">e-pl---</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA29.M67</subfield><subfield code="b">A53 2008eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">MAT000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Andrzej Mostowski and foundational studies /</subfield><subfield code="c">edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, D.C. :</subfield><subfield code="b">Ios Press,</subfield><subfield code="c">©2008.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 447 pages) :</subfield><subfield code="b">illustrations</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="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">On the life and work of Andrzej Mostowski (1913-1975) /</subfield><subfield code="r">Stanisław Krajewski and Marian Srebrny --</subfield><subfield code="t">Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life /</subfield><subfield code="r">Victor W. Marek --</subfield><subfield code="t">Mathematical logic in Warsaw: 1918-1939 /</subfield><subfield code="r">Jan Woleński --</subfield><subfield code="t">Three-valued logic of quadratic form theory over real rings /</subfield><subfield code="r">Max Dickmann and Alejandro Petrovich --</subfield><subfield code="t">Remarks on Gödel phenomena and the field of reals /</subfield><subfield code="r">Harvey M. Friedman --</subfield><subfield code="t">Undecidability and concatenation /</subfield><subfield code="r">Andrzej Grzegorczyk and Konrad Zdanowski --</subfield><subfield code="t">Witness quantifiers and 0-1 laws /</subfield><subfield code="r">Wojciech Guzicki and Michał Krynicki --</subfield><subfield code="t">Logic for artificial intelligence: a Rasiowa-Pawlak school perspective /</subfield><subfield code="r">Andrzej Jankowski and Andrzej Skowron --</subfield><subfield code="t">Contributions to the theory of weakly distributive complete Boolean algebras /</subfield><subfield code="r">Bohuslav Balcar and Thomas Jech --</subfield><subfield code="t">Quantifiers in limits /</subfield><subfield code="r">H. Jerome Keisler --</subfield><subfield code="t">Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy /</subfield><subfield code="r">Julia F. Knight --</subfield><subfield code="t">Model theoretic approach to proof theory of arithmetic /</subfield><subfield code="r">Henryk Kotlarski --</subfield><subfield code="t">Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I /</subfield><subfield code="r">Sonia L'Innocente and Angus MacIntyre --</subfield><subfield code="t">Encounters with A. Mostowski /</subfield><subfield code="r">J.A. Makowsky --</subfield><subfield code="t">Observations on truth, consistency and lengths of proofs /</subfield><subfield code="r">Jan Mycielski --</subfield><subfield code="t">Algebraic interpretation of quantifiers: intuitionistic and classical /</subfield><subfield code="r">Dana S. Scott --</subfield><subfield code="t">Abstracting and generalizing pseudorecursiveness /</subfield><subfield code="r">Benjamin Wells --</subfield><subfield code="t">Andrzej Mostowski on the foundations and philosophy of mathematics /</subfield><subfield code="r">Roman Murawski and Jan Woleński --</subfield><subfield code="t">Bibliography of Andrzej Mostowski /</subfield><subfield code="r">Jan Zygmunt --</subfield><subfield code="t">Warsaw 1957: memories of Mostowski /</subfield><subfield code="r">J.W. Addison --</subfield><subfield code="t">Andrzej Mostowski: my master in mathematics /</subfield><subfield code="r">Andrzej Jacek Blikle --</subfield><subfield code="t">Our reminiscences of Andrzej Mostowski /</subfield><subfield code="r">Emilio del Solar and Max Dickmann --</subfield><subfield code="t">Andrzej Mostowski: an appreciation /</subfield><subfield code="r">Solomon Feferman --</subfield><subfield code="t">Andrzej Mostowski as teacher and editor /</subfield><subfield code="r">Einar H. Fredriksson --</subfield><subfield code="t">Mostowski and Czech-Polish cooperation in mathematical logic /</subfield><subfield code="r">P. Hájek, V.W. Marek and P. Vopěnka --</subfield><subfield code="t">Reminiscences of Warsaw and logic, 1964 /</subfield><subfield code="r">Peter G. Hinman --</subfield><subfield code="t">From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski /</subfield><subfield code="r">Robert Kowalski --</subfield><subfield code="t">Very personal recollection /</subfield><subfield code="r">Hidemitsu Sayeki --</subfield><subfield code="t">Prince of logic /</subfield><subfield code="r">Benjamin Wells --</subfield><subfield code="t">Remembrances of Professor Andrzej Mostowski /</subfield><subfield code="r">Kazimierz Wiśniewski.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.</subfield></datafield><datafield tag="600" ind1="1" ind2="0"><subfield code="a">Mostowski, Andrzej.</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Mostowski, Andrzej</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJdRtKhJkMrKjBDfjTrXh3</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">Mathematical analysis</subfield><subfield code="x">Foundations.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85082117</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logicians</subfield><subfield code="z">Poland</subfield><subfield code="v">Biography.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematicians</subfield><subfield code="z">Poland</subfield><subfield code="v">Biography.</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">Analyse mathématique</subfield><subfield code="x">Fondements.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciens</subfield><subfield code="z">Pologne</subfield><subfield code="v">Biographies.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiciens</subfield><subfield code="z">Pologne</subfield><subfield code="v">Biographies.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Pre-Calculus.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Essays.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logicians</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematical analysis</subfield><subfield code="x">Foundations</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematicians</subfield><subfield code="2">fast</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">Poland</subfield><subfield code="2">fast</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39QbtfRgyP3qcDKmj68x7FVbM</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Biographies</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mostowski, Andrzej.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrenfeucht, Andrzej.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n95119816</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Marek, V. W.</subfield><subfield code="q">(V. Wiktor),</subfield><subfield code="d">1943-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Srebrny, Marian,</subfield><subfield code="d">1947-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjDbRhv3RkxvkxKhG88dpK</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84009670</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Andrzej Mostowski and foundational studies (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCG6VPb7dGFGWTRp8yXrkTb</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="t">Andrzej Mostowski and foundational studies.</subfield><subfield code="d">Amsterdam ; Washington, D.C. : Ios Press, ©2008</subfield><subfield code="w">(DLC) 2007939570</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=244447</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL346207</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10231724</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">244447</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">173332</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2823746</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2906923</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3207283</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> |
| genre | Biographies fast |
| genre_facet | Biographies |
| geographic | Poland fast https://id.oclc.org/worldcat/entity/E39QbtfRgyP3qcDKmj68x7FVbM |
| geographic_facet | Poland |
| id | ZDB-4-EBA-ocn646750826 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:16Z |
| institution | BVB |
| isbn | 9781435677807 1435677803 9781607502722 1607502720 9781433712265 1433712261 |
| language | English |
| oclc_num | 646750826 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xi, 447 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Ios Press, |
| record_format | marc |
| spelling | Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. Amsterdam ; Washington, D.C. : Ios Press, ©2008. 1 online resource (xi, 447 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Includes bibliographical references and indexes. On the life and work of Andrzej Mostowski (1913-1975) / Stanisław Krajewski and Marian Srebrny -- Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life / Victor W. Marek -- Mathematical logic in Warsaw: 1918-1939 / Jan Woleński -- Three-valued logic of quadratic form theory over real rings / Max Dickmann and Alejandro Petrovich -- Remarks on Gödel phenomena and the field of reals / Harvey M. Friedman -- Undecidability and concatenation / Andrzej Grzegorczyk and Konrad Zdanowski -- Witness quantifiers and 0-1 laws / Wojciech Guzicki and Michał Krynicki -- Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / Andrzej Jankowski and Andrzej Skowron -- Contributions to the theory of weakly distributive complete Boolean algebras / Bohuslav Balcar and Thomas Jech -- Quantifiers in limits / H. Jerome Keisler -- Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy / Julia F. Knight -- Model theoretic approach to proof theory of arithmetic / Henryk Kotlarski -- Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I / Sonia L'Innocente and Angus MacIntyre -- Encounters with A. Mostowski / J.A. Makowsky -- Observations on truth, consistency and lengths of proofs / Jan Mycielski -- Algebraic interpretation of quantifiers: intuitionistic and classical / Dana S. Scott -- Abstracting and generalizing pseudorecursiveness / Benjamin Wells -- Andrzej Mostowski on the foundations and philosophy of mathematics / Roman Murawski and Jan Woleński -- Bibliography of Andrzej Mostowski / Jan Zygmunt -- Warsaw 1957: memories of Mostowski / J.W. Addison -- Andrzej Mostowski: my master in mathematics / Andrzej Jacek Blikle -- Our reminiscences of Andrzej Mostowski / Emilio del Solar and Max Dickmann -- Andrzej Mostowski: an appreciation / Solomon Feferman -- Andrzej Mostowski as teacher and editor / Einar H. Fredriksson -- Mostowski and Czech-Polish cooperation in mathematical logic / P. Hájek, V.W. Marek and P. Vopěnka -- Reminiscences of Warsaw and logic, 1964 / Peter G. Hinman -- From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski / Robert Kowalski -- Very personal recollection / Hidemitsu Sayeki -- Prince of logic / Benjamin Wells -- Remembrances of Professor Andrzej Mostowski / Kazimierz Wiśniewski. Print version record. Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings. Mostowski, Andrzej. Mostowski, Andrzej fast https://id.oclc.org/worldcat/entity/E39PBJdRtKhJkMrKjBDfjTrXh3 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematical analysis Foundations. http://id.loc.gov/authorities/subjects/sh85082117 Logicians Poland Biography. Mathematicians Poland Biography. Logique symbolique et mathématique. Analyse mathématique Fondements. Logiciens Pologne Biographies. Mathématiciens Pologne Biographies. MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh MATHEMATICS Essays. bisacsh Logic, Symbolic and mathematical fast Logicians fast Mathematical analysis Foundations fast Mathematicians fast Poland fast https://id.oclc.org/worldcat/entity/E39QbtfRgyP3qcDKmj68x7FVbM Biographies fast Ehrenfeucht, Andrzej. http://id.loc.gov/authorities/names/n95119816 Marek, V. W. (V. Wiktor), 1943- Srebrny, Marian, 1947- https://id.oclc.org/worldcat/entity/E39PCjDbRhv3RkxvkxKhG88dpK http://id.loc.gov/authorities/names/n84009670 has work: Andrzej Mostowski and foundational studies (Text) https://id.oclc.org/worldcat/entity/E39PCG6VPb7dGFGWTRp8yXrkTb https://id.oclc.org/worldcat/ontology/hasWork Print version: Andrzej Mostowski and foundational studies. Amsterdam ; Washington, D.C. : Ios Press, ©2008 (DLC) 2007939570 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=244447 Volltext |
| spellingShingle | Andrzej Mostowski and foundational studies / On the life and work of Andrzej Mostowski (1913-1975) / Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life / Mathematical logic in Warsaw: 1918-1939 / Three-valued logic of quadratic form theory over real rings / Remarks on Gödel phenomena and the field of reals / Undecidability and concatenation / Witness quantifiers and 0-1 laws / Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / Contributions to the theory of weakly distributive complete Boolean algebras / Quantifiers in limits / Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy / Model theoretic approach to proof theory of arithmetic / Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I / Encounters with A. Mostowski / Observations on truth, consistency and lengths of proofs / Algebraic interpretation of quantifiers: intuitionistic and classical / Abstracting and generalizing pseudorecursiveness / Andrzej Mostowski on the foundations and philosophy of mathematics / Bibliography of Andrzej Mostowski / Warsaw 1957: memories of Mostowski / Andrzej Mostowski: my master in mathematics / Our reminiscences of Andrzej Mostowski / Andrzej Mostowski: an appreciation / Andrzej Mostowski as teacher and editor / Mostowski and Czech-Polish cooperation in mathematical logic / Reminiscences of Warsaw and logic, 1964 / From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski / Very personal recollection / Prince of logic / Remembrances of Professor Andrzej Mostowski / Mostowski, Andrzej. Mostowski, Andrzej fast https://id.oclc.org/worldcat/entity/E39PBJdRtKhJkMrKjBDfjTrXh3 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematical analysis Foundations. http://id.loc.gov/authorities/subjects/sh85082117 Logicians Poland Biography. Mathematicians Poland Biography. Logique symbolique et mathématique. Analyse mathématique Fondements. Logiciens Pologne Biographies. Mathématiciens Pologne Biographies. MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh MATHEMATICS Essays. bisacsh Logic, Symbolic and mathematical fast Logicians fast Mathematical analysis Foundations fast Mathematicians fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85078115 http://id.loc.gov/authorities/subjects/sh85082117 |
| title | Andrzej Mostowski and foundational studies / |
| title_alt | On the life and work of Andrzej Mostowski (1913-1975) / Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life / Mathematical logic in Warsaw: 1918-1939 / Three-valued logic of quadratic form theory over real rings / Remarks on Gödel phenomena and the field of reals / Undecidability and concatenation / Witness quantifiers and 0-1 laws / Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / Contributions to the theory of weakly distributive complete Boolean algebras / Quantifiers in limits / Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy / Model theoretic approach to proof theory of arithmetic / Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I / Encounters with A. Mostowski / Observations on truth, consistency and lengths of proofs / Algebraic interpretation of quantifiers: intuitionistic and classical / Abstracting and generalizing pseudorecursiveness / Andrzej Mostowski on the foundations and philosophy of mathematics / Bibliography of Andrzej Mostowski / Warsaw 1957: memories of Mostowski / Andrzej Mostowski: my master in mathematics / Our reminiscences of Andrzej Mostowski / Andrzej Mostowski: an appreciation / Andrzej Mostowski as teacher and editor / Mostowski and Czech-Polish cooperation in mathematical logic / Reminiscences of Warsaw and logic, 1964 / From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski / Very personal recollection / Prince of logic / Remembrances of Professor Andrzej Mostowski / |
| title_auth | Andrzej Mostowski and foundational studies / |
| title_exact_search | Andrzej Mostowski and foundational studies / |
| title_full | Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. |
| title_fullStr | Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. |
| title_full_unstemmed | Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny. |
| title_short | Andrzej Mostowski and foundational studies / |
| title_sort | andrzej mostowski and foundational studies |
| topic | Mostowski, Andrzej. Mostowski, Andrzej fast https://id.oclc.org/worldcat/entity/E39PBJdRtKhJkMrKjBDfjTrXh3 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematical analysis Foundations. http://id.loc.gov/authorities/subjects/sh85082117 Logicians Poland Biography. Mathematicians Poland Biography. Logique symbolique et mathématique. Analyse mathématique Fondements. Logiciens Pologne Biographies. Mathématiciens Pologne Biographies. MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh MATHEMATICS Essays. bisacsh Logic, Symbolic and mathematical fast Logicians fast Mathematical analysis Foundations fast Mathematicians fast |
| topic_facet | Mostowski, Andrzej. Mostowski, Andrzej Logic, Symbolic and mathematical. Mathematical analysis Foundations. Logicians Poland Biography. Mathematicians Poland Biography. Logique symbolique et mathématique. Analyse mathématique Fondements. Logiciens Pologne Biographies. Mathématiciens Pologne Biographies. MATHEMATICS Pre-Calculus. MATHEMATICS Reference. MATHEMATICS Essays. Logic, Symbolic and mathematical Logicians Mathematical analysis Foundations Mathematicians Poland Biographies |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=244447 |
| work_keys_str_mv | AT mostowskiandrzej andrzejmostowskiandfoundationalstudies AT ehrenfeuchtandrzej andrzejmostowskiandfoundationalstudies AT marekvw andrzejmostowskiandfoundationalstudies AT srebrnymarian andrzejmostowskiandfoundationalstudies |