Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
Author(s)
Bibliographic Information
Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
(Studies in logic and the foundations of mathematics, v. 127)
North-Holland, 1989
Available at 37 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Padova||1988.889068617
Note
"The 1988 European Summer Meeting of the Association was 'Logic Colloquium '88', held at the University of Padova, Italy, from August 22 to August 31"--P. v
Other authors: C. Bonotto, S. Valentini, A. Zanardo
Includes bibliographical references
Description and Table of Contents
Description
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''.
Table of Contents
On the Model Theory of Free Metabelian Groups of Bounded Exponent (A. Baudisch). D.O.P. and n-Tuples of Models (E. Bouscaren). Algebra and Model Theory of Chain Fields: An Overview (M.A. Dickmann). A Lefschetz Principle for Integral Closures (A. Macintyre). The C * -Algebras of Three-Valued Logic (D. Mundici). Some Problems and Results in the Theory of Actually Computable Functions (W.A. Maass, T.A. Slaman). Kleene-Spaces (D. Normann). On Bounded Time Turing Reducibility on the Recursive Sets (T.A. Slaman). The Pi 1 2 -Singleton Conjecture: An Introduction (S. Friedman). The Descriptive Set Theory of sigma-Ideals of Compact Sets (A.S. Kechris). Solving Equation in Lambda-Calculus (C. Bohm, A. Piperno, E. Tronci). Comparative Logics and Abelian l-Groups (E. Casari). Finitary Inductively Presented Logics (S. Feferman). Geometry of Interaction: Interpretation of System F (J.Y. Girard). Intuitionistic Formal Spaces and their Neighbourhood (G. Sambin). Probabilistic Models (R. Chuaqui). Logical Partial Functions and Extension of Equational Logic (W. Craig). Panel Discussion on Trends in Logic : Relation with Computer Science (M. Davis). Some Remarks (S. Feferman). Trends in Logic (A. Macintyre). Remarks Concerning the Comments of A. Macintyre (V. Harnik). Remarks on Logic in Mathematics and in Computer Science (G. Longo). Comments on the Panel Discussion on Trends in Logic (A. Ranta). Concluding Remarks on the Panel Discussion (Y.N. Moschovakis). Panel Discussion on The Teaching of Logic : The Teaching of Logic (C. Bernardi). Teaching the Incompleteness Theorem (M. Davis). LTF - A Logic Teaching Framework (D.J. Watt).
by "Nielsen BookData"