The Resource Andrzej Mostowski and foundational studies, edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny

Andrzej Mostowski and foundational studies, edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny

Label
Andrzej Mostowski and foundational studies
Title
Andrzej Mostowski and foundational studies
Statement of responsibility
edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny
Contributor
Subject
Genre
Language
eng
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
Biography type
contains biographical information
Cataloging source
E7B
Dewey number
510
Illustrations
illustrations
Index
index present
LC call number
QA29.M67
LC item number
A53 2008eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Label
Andrzej Mostowski and foundational studies, edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny
Publication
Bibliography note
Includes bibliographical references and indexes
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 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
  • On the life and work of Andrzej Mostowski (1913-1975)
  • 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
  • Stanisław Krajewski and Marian Srebrny
  • 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
  • Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life
  • 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
  • Victor W. Marek
  • 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
  • Mathematical logic in Warsaw: 1918-1939
  • Remembrances of Professor Andrzej Mostowski
  • Kazimierz Wiśniewski
  • Jan Woleński
  • Three-valued logic of quadratic form theory over real rings
  • Max Dickmann and Alejandro Petrovich
Control code
ocn646750826
Dimensions
unknown
Extent
1 online resource (xi, 447 pages)
Form of item
online
Isbn
9781433712265
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-1-58603-782-6
http://library.link/vocab/recordID
.b35648338
Specific material designation
remote
System control number
  • (OCoLC)646750826
  • pebcs1433712261

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...