## Volume 3,
Number 1,
March 1997

Articles
Communications
## Volume 3,
Number 2,
June 1997

Articles
- Wilfried Sieg:

**Step by recursive step: Church's analysis of effective calculability.
**154-180

- Henk Barendregt:

**The impact of the lambda calculus in logic and computer science.
**181-215

- José M. Sagüillo:

**Logical consequence revisited.
**216-241

## Volume 3,
Number 3,
September 1997

Articles
- Akihiro Kanamori:

**The mathematical import of Zermelo's well-ordering theorem.
**281-311

- Jim Lambek:

**Programs, grammars and arguments: a personal view of some connections between computation, language and logic.
**312-328

Communications
## Volume 3,
Number 4,
December 1997

Articles
- Abbas Edalat:

**Domains for computation in mathematics, physics and exact real arithmetic.
**401-452

Communications
- Sy D. Friedman, Peter Koepke:

**An elementary approach to the fine structure of L.
**453-468

- Martin Hofmann:

**An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.
**469-486

Copyright © Mon Nov 2 21:26:15 2009
by Michael Ley (ley@uni-trier.de)