Volume 37,
Number 1,
December 1997
Volume 37,
Number 2,
March 1998
Volume 37,
Number 3,
April 1998
Volume 37,
Number 4,
June 1998
Volume 37,
Numbers 5-6,
July 1998
- Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer:
Editorial Logic Colloquium '95, Haifa, Israel.
273
Electronic Edition (link) BibTeX
- Lev D. Beklemishev:
A proof-theoretic analysis of collection.
275-296
Electronic Edition (link) BibTeX
- Matthias Baaz, Richard Zach:
Note on generalizing theorems in algebraically closed fields.
297-307
Electronic Edition (link) BibTeX
- G. Bellin, A. Fleury:
Planar and braided proof-nets for multiplicative linear logic with mix.
309-325
Electronic Edition (link) BibTeX
- Wil Dekkers, Martin W. Bunder, Henk Barendregt:
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.
327-341
Electronic Edition (link) BibTeX
- Mariagnese Giusto, Alberto Marcone:
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.
343-362
Electronic Edition (link) BibTeX
- Ulrich Kohlenbach:
Elimination of Skolem functions for monotone formulas in analysis.
363-390
Electronic Edition (link) BibTeX
- Markus Marzetta, Thomas Strahm:
The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.
391-413
Electronic Edition (link) BibTeX
- Grigori Mints:
Normal deduction in the intuitionistic linear logic.
415-425
Electronic Edition (link) BibTeX
- Andreas Weiermann:
Bounding derivation lengths with functions from the slow growing hierarchy.
427-441
Electronic Edition (link) BibTeX
Volume 37,
Number 7,
October 1998
Volume 37,
Number 8,
November 1998
Copyright © Sat May 16 23:50:29 2009
by Michael Ley (ley@uni-trier.de)