The Bulletin of Symbolic Logic, Volume 3
The Bulletin of Symbolic Logic
Volume 3, 1997
Alonzo Church
, by Richard A. Shore, page 153.
Articles
Set theory generated by Abelian group theory
, by Paul C. Eklof, pages 1 - 16.
A model-theoretic approach to ordinal analysis
, by Jeremy Avigad and Richard Sommer, pages 17 - 52.
Step by recursive step: Church's analysis of effective calculability
, by Wilfried Sieg, pages 154 - 180.
The impact of the lambda calculus in logic and computer science
, by Henk Barendregt, pages 181 - 215.
Logical consequence revisited
, by JoséM. Sagüillo, pages 216 - 241.
The mathematical import of Zermelo's well-ordering theorem
, by Akihiro Kanamori, pages 281 - 311.
Programs, grammars and arguments: a personal view of some connections between computation, language and logic
, by J. Lambek, pages 312 - 328.
Domains for computation in mathematics, physics and exact real arithmetic
, by Abbas Edalat, pages 401 - 452.
Communications
On the decision problem for two-variable first-order logic
, by Erich Grädel, Phokion G. Kolaitis and Moshe Y. Vardi, pages 53 - 69.
New dichotomies for Borel equivalence relations
, by Greg Hjorth and Alexander S. Kechris, pages 329 - 346.
Games and definability for FPC
, by Guy McCusker, pages 347 - 362.
An elementary approach to the fine structure of L
, by Sy D. Friedman and Peter Koepke, pages 453 - 468.
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras
, by Martin Hofmann, pages 469 - 486.
Obituaries
In memoriam: Paul Erdös, 1913-1996
, by James E. Baumgartner, pages 70 - 72.
Meetings of the Association
European ASL Summer meeting, Haifa, Israel, 1995
, pages 73 - 147.
European ASL Summer meeting, Donostia-San Sebastián, Spain, 1996
, pages 242 - 277.
ASL Winter Meeting, San Diego, California, January 10-11, 1997
, pages 367 - 377.
ASL Annual Meeting, Cambridge, Massachusetts, March 22-25, 1997
, pages 378 - 396.
Meetings sponsored by the Association
Sixth Asian Logic Conference, Beijing, P.R. China, May 20-24, 1996
, page 148.
Australasian Association for Logic 31st Annual Conference, Brisbane, Australia, July 5-8, 1996
, pages 363 - 366.
7th Scandinavian Logic Symposium, Uppsala, Sweden, August 18-20, 1996
, pages 487 - 488.
Notices
Notices (No. 1)
, pages 149 - 152.
Notices (No. 2)
, pages 278 - 279.
Notices (No. 3)
, pages 397 - 400.
Notices (No. 4)
, pages 533 - 536.
Officers and members of the Association
List of officers and committees of the Association for Symbolic Logic
, pages 489 - 492.
List of members of the Association for Symbolic Logic
, pages 493 - 532.
Errata
Erratum (No. 2)
, pages 280 - 291.
Errata (No. 4)
, pages 537 - 537.