Volume 4, Number 1, March 1998
Articles
Communications
Volume 4, Number 2, June 1998
Articles
Communications
Volume 4, Number 3, September 1998
Articles
- 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
Articles
- Martin Grohe:
Finite variable logics in descriptive complexity theory.
345-398

- Juan Barba:
Construction of truth predicates: approximation versus revision.
399-417

Communications
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