The Bulletin of Symbolic Logic
Volume 9, 2003
, by Richard A. Shore, pages 1–2.
New programs and open problems in the foundation of mathematics
, by G. Longo P. Scott, pages 129 -- 130.
Gödel, Tarski, Church, and the Liar
, by György Serény, pages 3–25.
From foundations to ludics
, by Jean-Yves Girard, pages 131 -- 168.
Symmetry and interactivity in programming
, by P.-L. Curien, pages 169 -- 180.
Two spaces looking for a geometer
, by Giorgio Parisi, pages 181 -- 196.
Model theory: Geometrical and set-theoretic aspects and prospects
, by Angus Macintyre, pages 197 -- 212.
Foundations and applications: axiomatization and education
, by F. William Lawvere, pages 213 -- 224.
Differential calculus and nilpotent real numbers
, by Anders Kock, pages 225 -- 230.
The empty set, the singleton, and the ordered pair
, by Akihiro Kanamori, pages 273 -- 298.
Computable and continuous partial homomorphisms on metric partial algebras
, by Viggo Stoltenberg-Hansen and John V. Tucker, pages 299 -- 334.
Survey of the Steinhaus tiling problem
, by Steve Jackson and R. Daniel Mauldin, pages 335 -- 361.
A universal approach to self-referential paradoxes, incompleteness and fixed points
, by Noson S. Yanofsky, pages 362 -- 386.
On the philosophical development of Kurt Gödel
, by Mark van Atten and Juliette Kennedy, pages 425 — 476.
Identity of proofs based on normalization and generality
, by Kosta Došen, pages 477 — 503.
Local initial segments of the Turing degrees
, by Bjørn Kjos-Hanssen, pages 26–36.
Finite conformal hypergraph covers and Gaifman cliques in finite structures
, by Ian Hodkinson and Martin Otto, pages 387 -- 405.
, pages 37–50.
H. Andréka, S. Givant, and I. Németi,
Decision problems for equational theories of relation algebras
, reviewed by Roger D. Maddux, page 37.
Logical properties: identity, existence, predication, necessity, truth
, reviewed by Matthew McKeon, page 39.
Realization of analysis into explicit mathematics
, reviewed by Thomas Strahm, page 42.
F. A. Muller,
Sets, classes, and categories
, reviewed by Colin McLarty, page 43.
Proving consistency of equational theories in bounded arithmetic
, reviewed by Chris Pollett, page 44.
Update procedures and the 1-consistency of arithmetic
, reviewed by Toshiyasu Arai, page 45.
U. Berger, W. Buchholz, and H. Schwichtenberg,
Refined program extraction from classical proofs
, reviewed by N. Danner, page 47.
Decidability and definability results related to the elementary theory of ordinal multiplication
, reviewed by John E. Doner, page 49.
, pages 231 -- 241.
J. M. Dunn and G. Hardegree,
Algebraic methods in philosophical logic
, reviewed by Janusz Czelakowski, page 231.
Inner models and large cardinals
, reviewed by Ernest Schimmerling, page 234.
Two papers of B. Löwe and P. Welch, reviewed by Volker Halbach, page 235.
Moti Gitik's recent papers on the Singular Cardinals Problem, reviewed by Akihiro Kanamori, page 237.
, pages 406 -- 416.
H. B. Enderton,
A Mathematical Introduction to Logic
, reviewed by Natasha Dobrinen, page 406.
P. B. Andrews,
An introduction to mathematical logic and type theory: to truth through proof
, reviewed by Mitsuru Yasuhara, page 408.
Model Theory: An Introduction
, reviewed by Bradd Hart, page 408.
Paraconsistency: the logical way to the inconsistent
, reviewed by Casey N. McGinnis, page 410.
, reviewed by Michael Beaney, page 412.
Small universal Turing machines
, reviewed by Maurice Margenstern, page 414.
W. Mitchell, E. Schimmerling, and J. Steel,
The covering lemma up to a Woodin cardinal
, reviewed by Itay Neeman, page 414.
, pages 504 — 523.
James Robert Brown
Philosophy of mathematics, an introduction to the world of proofs and pictures
, reviewed by Janet Folina, page 504.
An introduction to probability and inductive logic
, reviewed by Branden Fitelson, page 506.
, reviewed by Volker Peckhaus, page 508.
Fuzzy logic — Mathematical tools for approximate reasoning
, reviewed by Petr Hájek, page 510.
Philosophy of logic, An anthology
, reviewed by William H. Hanson, page 511.
R. Hirsh and I. Hodkinson,
Relation algebras by games
, reviewed by Roger D. Maddux, page 515.
G. S. Boolos, J. P. Burgess, and R. C. Jeffrey,
Computability and Logic
, 4th ed, reviewed by Richard Zach, page 520.
Free logic: Selected essays
, reviewed by David DeVidi, page 521.
In memoriam: Walter Felscher 1931--2000
, by Michael Richter, pages 417 -- 418.
Meetings of the Association
2002 Annual Meeting of the Association for Symbolic Logic, University of Nevada, Las Vegas, Las Vegas, Nevada June 1–4, 2002
, pages 51–70.
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, Münster, Germany, August 3–9, 2002
, pages 71–120.
2002--2003 Winter Meeting of the Association for Symbolic Logic, Philadelphia Marriott Hotel, Philadelphia, Pennsylvania December 27--30, 2002
, pages 242 -- 249.
2002--2003 Winter Meeting of the Association for Symbolic Logic, Baltimore Convention Center, Baltimore, Maryland January 17--18, 2003
, pages 250 -- 255.
Meetings sponsored by the Association
9th Workshop on Logic, Language, Information and Computation (WoLLIC '2002), Rio de Janeiro, Brazil July 30–August 2, 2002
, pages 121–122.
Eighth Asian Logic Conference, South-West Normal University, Chongqing, China August 29 -- September 2, 2002
, page 256.
2002 Annual Conference of the Australasian Association for Logic, Canberra, Australia, November 30--December 2, 2002
, pages 257 -- 265.
, pages 123–127.
, pages 266 -- 271.
, pages 419 -- 424.
, pages 581 — 585.
Officers, committees and members of the Association
Officers and Committees of the Association for Symbolic Logic
, pages 524 — 527.
Members of the Association
, pages 528 — 580.