Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, D.C. :
Ios Press,
©2008.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn646750826 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.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 | ||
| 029 | 1 | |a AU@ |b 000046686756 | |
| 029 | 1 | |a AU@ |b 000051451023 | |
| 029 | 1 | |a DEBBG |b BV043155981 | |
| 029 | 1 | |a DEBBG |b BV044129757 | |
| 029 | 1 | |a DEBSZ |b 379307596 | |
| 029 | 1 | |a DEBSZ |b 422079618 | |
| 029 | 1 | |a DEBSZ |b 445566817 | |
| 029 | 1 | |a NZ1 |b 13518320 | |
| 029 | 1 | |a AU@ |b 000060066539 | |
| 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 | 0 | 4 | |a 510 |2 22 |
| 049 | |a UAMI | ||
| 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. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 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. | |
| 650 | 0 | |a Mathematical analysis |x Foundations. | |
| 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. | |
| 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 | |
| 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 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=346207 |z Texto completo |
| 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 IZTAP | ||