Herman Weyl's intuitionistic mathematics, by Dirk van Dalen

Measures: back and forth between point sets and large sets, by Noa Goldring

A general framework for priority arguments, by Steffen Lempp and Manuel Lerman

In memoriam: Christopher John Ash, by Julia Knight

European ASL Summer Meeting, Clermond-Ferrand 1994

The Bulletin of Symbolic Logic

Guidelines for logic education, by The ASL Committee on Logic and Education

The mathematical work of S. C. Kleene, by J. R. Shoenfield

Platonism and mathematical intuition in Kurt G\"odel's thought, by Charles D. Parsons

HOD^L(R) is a core model below \Theta, by John R. Steel

European ASL Summer Meeting, Keele University 1993

Annual ASL Meeting, University of Florida Gainesville, 1994

American logic in the 1920s by Martin Davis

How to compute antiderivatives by Chris Freiling

Frege's theorem and the Peano postulates, by George Boolos

Optimal proofs of determinacy, by Itay Neeman

In memoriam: Raphael Mitchel Robinson, by Leon Henkin

ASL Spring Meeting, Kansas City, MI, May 6--7, 1994

Third Souslin Conference, July 21--27, 1994

Meeting of the Australasian Association for Logic August 26--29, 1994

ASL Winter Meeting, San Francisco, CA, January 6--7 1995

ASL Annual Meeting, Irvine, CA, March 30 -- April 2 1995

Inner models and large cardinals by Ronald Jensen

Singular cardinals and the PCF theory by Thomas Jech

The complexity of propositional proofs by Alasdair Urquhart

Recent advances in ordinal analysis: $\Pi^1-2$ -- CA and related systems, by Michael Rathjen

In memoriam: Alonzo Church, 1903 -- 1995, by H. B. Enderton

European ASL Summer Meeting, Keele University, 1993, addition

List of officers and committees of the Association for Symbolic Logic

The mathematical development of set theory from Cantor to Cohen, by Akihiro Kanamori

Geometry, calculus and Zil'ber's conjecture by Ya'acov Peterzil and Sergei Starchenko

From ``metabelian Q-vector spaces'' to new \omega-stable groups by Olivier Chapuis

Two applications of inner model theory to the study of \Sigma^1_2 sets, by Greg Hjorth

In memoriam: Hao Wang, 1921 -- 1995 by Charles Parsons

Australasian Association for Logic 30th anniversary conference, Armidale, New South Wales, Australia June 30 -- July 3, 1995

The discovery of my completeness proofs, by Leon Henkin

Pure proof theory, aims, methods and results, by Wolfram Pohlers

Hyperfinite law of large numbers, by Yeneng Sun

Definability, automorphisms, and dynamic properties of computably enumerable sets, by Leo Harrington and Robert I. Soare

X Latin American Symposium on Mathematical Logic, Bogot\'a, Colombia, July 24 -- 29, 1995

Deductive completeness, by Kosta Dosen

Computability and recursion, by Robert I. Soare

Linear logic proof games and optimization, by Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov

Analytic ideals, by Slawomir Solecki

A note on the completeness of Kozen's axiomatisation of the propositional $\mu$-calculus, by Igor Walukiewicz

In memoriam: Robin Oliver Gandy, 1919--1995, by Yiannis Moschovakis and Mike Yates

In memoriam: Vladimir Aleksandrovich Smirnov, 1931--1996, by V. L. Vasyukov

George Boolos, President of the Association for Symbolic Logic

3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96), Salvador (Bahia), Brazil, May 8 -- 10, 1996

Another use of set theory by Patrick Dehornoy

Definability in the recursively enumerable degrees, by Andr\'e Nies, Richard A. Shore, and Theodore A. Slaman

Une preuve formelle et intuitionniste du th\'eor\`eme de compl\'etude de la logique classique by Jean-Louis Krivine

Almost everywhere equivalence of logics in finite model theory, by Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto

In memoriam: George Stephen Boolos, 1940--1996 by Warren Goldfarb

ASL Annual Meeting, Madison, Wisconsin, March 9--12, 1996

G\"odel '96 Conference on the Logical Foundations of Mathematics, Computer Science and Physics, Brno, Czech Republic, August 25--29, 1996

List of officers and committees of the Association for Symbolic Logic

Set theory generated by Abelian group theory, by Paul C. Eklof

A model-theoretic approach to ordinal analysis, by Jeremy Avigad and Richard Sommer

On the decision problem for two-variable first-order logic, by Erich Gr\"adel, Phokion G. Kolaitis and Moshe Y. Vardi

In memoriam: Paul Erd\" os, 1913--1996, by James E. Baumgartner

European ASL Summer meeting, Haifa, Israel, 1995

Sixth Asian Logic Conference, Beijing, P.R. China, May 20--24, 1996

Alonzo Church, by Richard A. Shore

Step by recursive step: Church's analysis of effective calculability, by Wilfried Sieg

The impact of the lambda calculus in logic and computer science, by Henk Barendregt

Logical consequence revisited, by Jos\'e M. Sag\"uillo

European ASL Summer meeting, Donostia-San Sebasti\'an, Spain, 1996

The mathematical import of Zermelo's well-ordering theorem by Akihiro Kanamori

Programs, grammars and arguments: a personal view of some connections between computation, language and logic by J. Lambek

New dichotomies for Borel equivalence relations by Greg Hjorth and Alexander S. Kechris

Games and definability for FPC by Guy McCusker

Australasian Association for Logic 31st Annual Conference, Brisbane, Australia, July 5--8, 1996

ASL Winter Meeting, San Diego, California, January 10--11, 1997

ASL Annual Meeting, Cambridge, Massachusetts, March 22--25, 1997

Domains for computation in mathematics, physics and exact real arithmetic by Abbas Edalat

An elementary approach to the fine structure of L by Sy D. Friedman and Peter Koepke

An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras by Mar>


Transfer interrupted!

04-004.ps"> 7th Scandinavian Logic Symposium, Uppsala, Sweden, August 18--20, 1996

List of officers and committees of the Association for Symbolic Logic

An editor recalls some hopeless papers by Wilfrid Hodges

From stability to simplicity by Byunghan Kim and Anand Pillay

Completely additive liftings by Ilijas Farah

European ASL Summer meeting, Leeds, England, July 7--12, 1997

The Constitution and By-Laws of the Association for Symbolic Logic

Alonzo Church's contributions to philosophy and intensional logic by C. Anthony Anderson

Alonzo Church and the Reviews by H. B. Enderton

G\"odel's path from the incompleteness theorems (1931) to phenomenology (1961) by Richard Tieszen

A basis theorem for perfect sets by Marcia J. Groszek and Theodore A. Slaman

ASL Spring Meeting, Los Angeles California, March 27--28, 1998

ASL Winter Meeting, Baltimore, Maryland, January 9--10, 1998

4th Workshop on Logic, Language, Information and Computation (WoLLIC '97)

International Symposia on Theoretical Aspects of Computer Science: TACS '97, TACS '94, and TACS '91

Developments in constructive nonstandard analysis by Erik Palmgren

Incompleteness, mechanism, and optimism by Stewart Shapiro

Truth definitions, Skolem functions and axiomatic set theory by Jaakko Hintikka

In Memoriam: Richard (Routley) Sylvan, 1935-1996 by Robert K. Meyer

Finite variable logics in descriptive complexity theory by Martin Grohe

Construction of truth predicates: approximation versus revision by Juan Barba

Cut elimination in the presence of axioms by Sara Negri and Jan von Plato

ASL Winter Meeting, Orlando, Florida, January 12--13, 1996

ASL Spring Meeting, Toronto, Ontario, Canada, May 22--25, 1998

Australasian Association for Logic 1997 Annual Conference

List of officers and committees of the Association for Symbolic Logic

New directions in descriptive set theory by Alexander S. Kechris

Tarski's system of geometry by Alfred Tarski and Steven Givant

The logic of bunched implications by Peter W. O'Hearn and David J. Pym

Church's problem revisited by Orna Kupferman and Moshe Y. Vardi

Gap forcing: Generalizing the L\'{e}vy-Solovay theorem by Joel David Hamkins

1998--1999 Winter Meeting of the Association for Symbolic Logic San Antonio, Texas, January 15-16,1999

Models of second-order Zermelo set theory by Gabriel Uzquiano

Between Russell and Hilbert: Behmann on the foundations of mathematics by Paolo Mancosu

Completeness before Post: Bernays Hilbert, and the development of propositional logic by Richard Zach

Accessible recursive functions by Stanley S. Wainer

In memoriam: Albert G. Dragalin, 1941--1998 by S. Artemov, B. Kushner, G. Mints, E. Nogina and A. Troelstra

In memoriam: Nelson Goodman, 1906--1998 by Joseph S. Ullian

ASL Annual Meeting, San Diego, California, March 20--23, 1999

WoLLIC '98 5th workshop on logic, language, information and computation Sao Paulo, Brazil, July 28--31, 1998

WoLLIC '99 6th workshop on logic, language, information and computation, Rio de Janeiro, Brazil, May 25--28, 1999.

Hilbert's programs: 1917--1922 by Wilfried Sieg

Ordered groups: a case study in reverse mathematics by Reed Solomon

1998 European Summer Meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9--15, 1998

19th century logic between philosophy and mathematics, by Volker Peckhaus, pages 433 -- 450.

The syllogism's final solution, by I. Susan Russinoff, pages 451 -- 469.

Terminal notions, by Jind\v {r}ich Zapletal, pages 470 -- 478.

1999 Spring Meeting of the Association for Symbolic Logic, New Orleans, Louisiana, May 6--7, 1999, pages 479 -- 484.

Australasian Association for Logic, 29th Annual Conference, Co-sponsored by the Association for Symbolic Logic, Macquarie University, Sydney, Australia, July 10--12, 1998, pages 485 -- 494.

XI Latin American Symposium on Mathematical Logic, Co-sponsored by the Association for Symbolic Logic, M\'erida, Venezuela, July 6--10, 1998, pages 495 -- 524.

Officers and Committes of the Association for Symbolic Logic, pages 525 -- 528.

List of members of the Association for Symbolic Logic, pages 491 -- 534.

List of members of the Association for Symbolic Logic, pages 478 -- 518.

List of members of the Association for Symbolic Logic, pages 493 -- 532.

List of members of the Association for Symbolic Logic, pages 469 -- 510.

Members of the Association, pages 529 -- 572.

Address at the Princeton University bicentennial conference on problems of mathematics (December 17--19, 1946), by Alfred Tarski, by Hourya Sinaceur, pages 1 -- 44.

Towards a re-evaluation of Julius K\"onig's contribution to logic, by Miriam Franchella, pages 45 -- 66.

Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview, by Jean-Marie Le Bars, pages 67 -- 82.

Reviews, pages 83 -- 96.

In this issue:

S. Shelah, Proper and improper forcing, reviewed by P\'eter Komj\'ath, page 83.

Ten papers by Arthur Apter, reviewed by James W. Cummings, page 86.

Articles in Defeasible deontic logic, reviewed by Wiebe van der Hoek, page 89.

J. Goubault-Lerrecq and I. Mackie, Proof theory and automated deduction, reviewed by J\"org Hudelmaier, page 94.

J. Dejno\v {z}ka, Bertrand Russell on modality and logical relevance, reviewed by Bernard Linsky, page 95.

1999 European Summer Meeting of the Association for Symbolic Logic, Utrecht, The Netherlands, August 1--6, 1999, pages 103 -- 137.

Notices, pages 138 -- 144.