March 1997 Articles
- Wilfried Sieg:
Step by recursive step: Church's analysis of effective calculability.
- Henk Barendregt:
The impact of the lambda calculus in logic and computer science.
- José M. Sagüillo:
Logical consequence revisited.
September 1997 Articles
- Akihiro Kanamori:
The mathematical import of Zermelo's well-ordering theorem.
- Jim Lambek:
Programs, grammars and arguments: a personal view of some connections between computation, language and logic.
December 1997 Articles
- Abbas Edalat:
Domains for computation in mathematics, physics and exact real arithmetic.
Copyright © Mon Nov 2 21:26:15 2009
by Michael Ley (firstname.lastname@example.org)
- Sy D. Friedman, Peter Koepke:
An elementary approach to the fine structure of L.
- Martin Hofmann:
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.