The Bulletin of Symbolic Logic, Volume 4

Volume 4, Number 1, March 1998

• Wilfrid Hodges:
  An editor recalls some hopeless papers. 1-16
  
• Byunghan Kim, Anand Pillay:
  From stability to simplicity. 17-36
  

• Ilijas Farah:
  Completely additive liftings. 37-54
  

Volume 4, Number 2, June 1998

• C. Anthony Anderson:
  Alonzo Church's contributions to philosophy and intensional logic. 129-171
  
• Herbert B. Enderton:
  Alonzo Church and the Reviews. 172-180
  
• Richard Tieszen:
  G\"odel's path from the incompleteness theorems (1931) to phenomenology (1961). 181-203
  

• Marcia J. Groszek, Theodore A. Slaman:
  A basis theorem for perfect sets. 204-209
  

Volume 4, Number 3, September 1998

• Erik Palmgren:
  Developments in constructive nonstandard analysis. 233-272
  
• Stewart Shapiro:
  Incompleteness, mechanism, and optimism. 273-302
  
• Jaakko Hintikka:
  Truth definitions, Skolem functions and axiomatic set theory. 303-337
  

Volume 4, Number 4, December 1998

• Martin Grohe:
  Finite variable logics in descriptive complexity theory. 345-398
  
• Juan Barba:
  Construction of truth predicates: approximation versus revision. 399-417
  

• Sara Negri, Jan von Plato:
  Cut elimination in the presence of axioms. 418-435
  

Last update Sat May 18 20:05:42 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page