### Volume 2, 1996

#### Articles

• The mathematical development of set theory from Cantor to Cohen, by Akihiro Kanamori, pages 1 - 71.
• The discovery of my completeness proofs, by Leon Henkin, pages 127 - 158.
• Pure proof theory, aims, methods and results, by Wolfram Pohlers, pages 159 - 188.
• Deductive completeness, by Kosta Dosen, pages 243 - 283.
• Computability and recursion, by Robert I. Soare, pages 284 - 321.
• Another use of set theory, by Patrick Dehornoy, pages 379 - 391.

• #### Communications

• Geometry, calculus and Zil'ber's conjecture, by Ya'acov Peterzil and Sergei Starchenko, pages 72 - 83.
• From metabelian Q-vector spaces'' to new \omega-stable groups, by Olivier Chapuis, pages 84 - 93.
• Two applications of inner model theory to the study of \Sigma^1_2 sets, by Greg Hjorth, pages 94 - 107.
• Hyperfinite law of large numbers, by Yeneng Sun, pages 189 - 198.
• Definability, automorphisms, and dynamic properties of computably enumerable sets, by Leo Harrington and Robert I. Soare, pages 199 - 213.
• Linear logic proof games and optimization, by Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov, pages 322 - 338.
• Analytic ideals, by Slawomir Solecki, pages 339 - 348.
• A note on the completeness of Kozen's axiomatisation of the propositional \mu-calculus, by Igor Walukiewicz, pages 349 - 366.
• Definability in the recursively enumerable degrees, by AndréNies, Richard A. Shore, and Theodore A. Slaman, pages 392 - 404.
• Une preuve formelle et intuitionniste du théorème de complétude de la logique classique, by Jean-Louis Krivine, pages 405 - 421.
• Almost everywhere equivalence of logics in finite model theory, by Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto, pages 422 - 443.

• #### Obituaries

• In memoriam: George Stephen Boolos, 1940-1996, by Warren Goldfarb, pages 444 - 447.
• In memoriam: Robin Oliver Gandy, 1919-1995, by Yiannis Moschovakis and Mike Yates, pages 367 - 370.
• In memoriam: Vladimir Aleksandrovich Smirnov, 1931-1996, by V. L. Vasyukov, pages 371 - 372.
• In memoriam: Hao Wang, 1921 - 1995, by Charles Parsons, pages 108 - 111.

• #### Meetings of the Association

• ASL Annual Meeting, Madison, Wisconsin, March 9-12, 1996, pages 448 - 472.

• #### Meetings sponsored by the Association

• Australasian Association for Logic 30th anniversary conference, Armidale, New South Wales, Australia, June 30 - July 3, 1995, pages 112 - 120.
• X Latin American Symposium on Mathematical Logic, Bogot&aacute, Colombia, July 24-29, 1995, pages 214 - 237.
• 3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96), Salvador (Bahia), Brazil, May 8-10, 1996, page 374.
• Gödel '96 Conference on the Logical Foundations of Mathematics, Computer Science and Physics, Brno, Czech Republic, August 25-29, 1996, page 473.

• #### Notices

• George Boolos, President of the Association for Symbolic Logic, page 373.
• Notices (No. 1), pages 121 - 125.
• Notices (No. 2), pages 238 - 241.
• Notices (No. 3), pages 375 - 377.
• Notices (No. 4), pages 519 - 522.

• #### Officers, committees and members of the Association

• List of officers and committees of the Association for Symbolic Logic, pages 474 - 477.
• List of members of the Association for Symbolic Logic, pages 478 - 518.

• #### Errata

• Erratum (No. 1), page 126.
• Erratum (No. 2), page 242.
• Errata (No. 4), pages 523 - 524.