KURT GOEDEL SOCIETY

                      Yearbook Back Issues

Back issues of the Yearbook are available at ATS 350.00 for
non-members and ATS 150.00 for members. Please use the enclosed order form.
You are welcome to order copies and pay together with your annual dues
remittance, but please make a note of that on your cheque/money order.

YEARBOOK 1988
————-

HAO WANG:   The Kurt Goedel Society (Kurt-Goedel-Gesellschaft).
  An introductory note

WILFRID HODGES:   The Present Aims of Model Theory

ROMAN MANKA:   Some Forms of the Axiom of Choice

ALEXANDER LEITSCH:   On Some Formal Problems in Resolution Theorem Proving

KARL SVOZIL:   The Mathematical Foundations of Physical Randomness
  and Indeterminism

MATTHIAS BAAZ, GERALD QUIRCHMAYR:   Juridische Schluesse und mehrwertige Logik

PAUL ERDOS:   Recollections on Kurt Goedel

NORBERT BRUNNER:   Mathematische Induktion, Kontinuumshypothese und
  Auswahlaxiom

MAURICE BOFFA:   ZFJ and the Consistency Problem for NF

ANDREAS BLASS:   Axioms of Choice for Finite Sets

WINFRIED JUST:   Equivalence under Decomposition. A Graph-theoretical Approach  

Reviews
Announcement

YEARBOOK 1989
————-

A Note on this Volume

First Kurt Goedel Colloquium. Program

HAO WANG:   Mind, Brain, Machine

EGON BOERGER:   A Logical Operational Semantics of Full PROLOG

GERNOT SALZER:   Deductive Generalization for Clause Logic

CHRISTIAN FERMUELLER:   Deciding Some Horn Clause Sets by Resolution

DAMJAN BOJADZIEW:   Reconstructing Diagonalization(s)

MARIA LUISA DALLA CHIARA:   Intensions, Probabilities, and Logical
  Indeterminism in the Semantics of Quantum Theory

MAURICE BOFFA:   A Set Theory with Approximations

JOSEF MATTES:   Classes and Internal Set Theory

MATTHIAS BAAZ:   Automatisches Beweisen fuer endlichwertige Logiken

YEARBOOK 1990
————-

JOACHIM HILGERT:   Group Theoretical Aspects of Goedel’s Cosmological Model

JOHN C. SIMMS:   Why the Continuum Hypothesis is False

THOMAS JECH:   The Infinite

ERWIN ENGELER:  Zur wissenschaftstheoretischen Bedeutung der
  kombinatorischen Algebra

ECKEHART KOEHLER:   Goedel and Carnap in Vienna

HELENA RASIOWA:   On Approximation Logics: A Survey

HAO WANG:   Aperiodicity and Constraints

ULRICH FELGNER:   Pseudo-endliche Gruppen

ROBERT F. TICHY:   Zur Analyse und Anwendung von Zufallszahlen

A. R. D. MATHIAS:   Logic and Terror

YEARBOOK 1991
————-

Second Kurt Goedel Colloquium. Program

JAAKKO HINTIKKA:  Goedel’s Functional Interpretation in a Wider Perspective

JAAKKO HINTIKKA:   A Historical Note on Scott’’s _Game-theoretical
  Interpretation of Logical Formulae_

DANA SCOTT:    A Game-theoretical Interpretation of Logical Formulae

EDGAR G. K. LOPEZ-ESCOBAR:   Zeno’s Paradoxes: Pre Goedelian Incompleteness

MICHIEL VAN LAMBALGEN:   On Bernays’’ Platonism and the Axiom of Choice

THOMAS OBERDAN:    Goedel, Carnap, and the Thesis that Mathematics is Empty

JAN WOLENSKI:   Goedel, Tarski and the Undefinability of Truth

DANIELE MUNDICI:   Logic and Algebra in Ulam’s Searching Game with Lies

YEARBOOK 1992
————-

HAO WANG:   Imagined Discussions with Goedel and with Wittgenstein

PETER LOEB:   Nonstandard Analysis and Measure Theory

JOSEF MATTES:   Axiomatic Approaches to Nonstandard Analysis

VLADIMIR RUDENKO:   A New Result on the Horn Implication Problem

NORBERT ROZSENICH:   The Projective Goedel Universe

———- CUT HERE ———-

To:
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185/2
Resselgasse 3/1
A-1040 Vienna
Austria
Fax: (+43 1) 504 15 89

ORDER FORM

I would like to order back issues of the Yearbook of the Kurt Goedel Society
at ATS 350.00 each for non-members and ATS 150.00 each for members of
the Kurt Goedel Society.

          volume    copies    amount in ATS

1988      ______    ______    _____________

1989      ______    ______    _____________

1990      ______    ______    _____________

1991      ______    ______    _____________

1992      ______    ______    _____________

amount total in ATS:  ___________

I [ ] am [ ] am not a member of the Kurt Goedel Society.
[ ] Please send membership information.
I have paid by [ ] Erlagschein            [ ] money order
               [ ] Eurocheque (enclosed)  [ ] invoice me.

Name:     _______________________________________________________________

Address:  _______________________________________________________________

          _______________________________________________________________

Date:     ___________        Signature: ________________________

Bank account of the Kurt Goedel Society:  7.537.332 at Oesterreichische Postsparkasse. If paying by bank transfer or personal cheque, please add the equivalent of ATS 150.00 to cover our bank charges.