External Links

    Journal: Bulletin of Symbolic Logic

    Volume 3, Issue 4

    401 -- 452Abbas Edalat. Domains for computation in mathematics, physics and exact real arithmetic
    453 -- 468Sy D. Friedman, Peter Koepke. An elementary approach to the fine structure of L
    469 -- 486Martin Hofmann. An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras

    Volume 3, Issue 3

    265 -- 283David Deutsch, Artur Ekert, Rossella Lupacchini. Machines, logic and quantum physics
    281 -- 311Akihiro Kanamori. The mathematical import of Zermelo s well-ordering theorem
    284 -- 310Dirk van Dalen. Brouwer and Fraenkel on intuitionism
    311 -- 330Jan Krajícek, Thomas Scanlon. Combinatorics with definable sets: Euler characteristics and Grothendieck rings
    312 -- 328Jim Lambek. Programs, grammars and arguments: a personal view of some connections between computation, language and logic
    329 -- 346Greg Hjorth, Alexander S. Kechris. New dichotomies for Borel equivalence relations
    331 -- 341Renling Jin. Applications of nonstandard analysis in additive number theory
    347 -- 362Guy McCusker. Games and definability for FPC

    Volume 3, Issue 2

    153 -- 0Richard A. Shore. Alonzo Church
    154 -- 180Wilfried Sieg. Step by recursive step: Church s analysis of effective calculability
    181 -- 215Henk Barendregt. The impact of the lambda calculus in logic and computer science
    216 -- 241José M. Sagüillo. Logical consequence revisited

    Volume 3, Issue 1

    1 -- 16Paul C. Eklof. Set theory generated by Abelian group theory
    17 -- 52Jeremy Avigad, Richard Sommer. A model-theoretic approach to ordinal analysis
    53 -- 69Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi. On the decision problem for two-variable first-order logic
    runs on