The Bulletin of Symbolic Logic, Volume 9

Volume 9, Number 1, March 2003

• György Serény:
  Gödel, Tarski, Church, and the Liar. 3-25
  

• Bjørn Kjos-Hanssen:
  Local initial segments of the Turing degrees. 26-36
  

Volume 9, Number 2, June 2003

• Giuseppe Longo, P. Scott:
  New programs and open problems in the foundation of mathematics. 129-130
  

• Jean-Yves Girard:
  From foundations to ludics. 131-168
  
• Pierre-Louis Curien:
  Symmetry and interactivity in programming. 169-180
  
• Giorgio Parisi:
  Two spaces looking for a geometer. 181-196
  
• Angus Macintyre:
  Model theory: Geometrical and set-theoretic aspects and prospects. 197-212
  
• F. William Lawvere:
  Foundations and applications: axiomatization and education. 213-224
  
• Anders Kock:
  Differential calculus and nilpotent real numbers. 225-230
  

Volume 9, Number 3, September 2003

• Akihiro Kanamori:
  The empty set, the singleton, and the ordered pair. 273-298
  
• Viggo Stoltenberg-Hansen, J. V. Tucker:
  Computable and continuous partial homomorphisms on metric partial algebras. 299-334
  
• Steve Jackson, R. Daniel Mauldin:
  Survey of the Steinhaus tiling problem. 335-361
  
• Noson S. Yanofsky:
  A universal approach to self-referential paradoxes, incompleteness and fixed points. 362-386
  

• Ian M. Hodkinson, Martin Otto:
  Finite conformal hypergraph covers and Gaifman cliques in finite structures. 387-407
  

Volume 9, Number 4, December 2003

• Mark van Atten, Juliette Kennedy:
  On the philosophical development of Kurt Gödel. 425-476
  
• Kosta Dosen:
  Identity of proofs based on normalization and generality. 477-503