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
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
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
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
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
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
Hilbert's programs: 1917--1922 by Wilfried Sieg
Ordered groups: a case study in reverse mathematics by Reed Solomon
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: