Limit search to available items
Book Cover
E-book

Title Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny
Published Amsterdam ; Washington, D.C. : Ios Press, ©2008

Copies

Description 1 online resource (xi, 447 pages) : illustrations
Contents 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
Summary 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
Bibliography Includes bibliographical references and indexes
Notes Print version record
Subject Mostowski, Andrzej
SUBJECT Mostowski, Andrzej fast
Subject Logic, Symbolic and mathematical.
Mathematical analysis -- Foundations.
Logicians -- Poland -- Biography
Mathematicians -- Poland -- Biography
MATHEMATICS -- Pre-Calculus.
MATHEMATICS -- Reference.
MATHEMATICS -- Essays.
Logic, Symbolic and mathematical
Logicians
Mathematical analysis -- Foundations
Mathematicians
Poland
Genre/Form Biographies
Form Electronic book
Author Mostowski, Andrzej
Ehrenfeucht, Andrzej.
Marek, V. W. (V. Wiktor), 1943-
Srebrny, Marian, 1947-
LC no. 2007939570
ISBN 9781435677807
1435677803
9781607502722
1607502720
9781433712265
1433712261