External Links

    Journal: Bulletin of Symbolic Logic

    Volume 4, Issue 4

    345 -- 398Martin Grohe. Finite variable logics in descriptive complexity theory
    399 -- 417Juan Barba. Construction of truth predicates: approximation versus revision
    418 -- 435Sara Negri, Jan von Plato. Cut elimination in the presence of axioms

    Volume 4, Issue 3

    233 -- 272Erik Palmgren. Developments in constructive nonstandard analysis
    273 -- 302Stewart Shapiro. Incompleteness, mechanism, and optimism
    303 -- 337Jaakko Hintikka. Truth definitions, Skolem functions and axiomatic set theory

    Volume 4, Issue 2

    129 -- 171C. Anthony Anderson. Alonzo Church s contributions to philosophy and intensional logic
    172 -- 180Herbert B. Enderton. Alonzo Church and the Reviews
    181 -- 203Richard Tieszen. G/ odel s path from the incompleteness theorems (1931) to phenomenology (1961)
    204 -- 209Marcia J. Groszek, Theodore A. Slaman. A basis theorem for perfect sets

    Volume 4, Issue 1

    1 -- 16Wilfrid Hodges. An editor recalls some hopeless papers
    17 -- 36Byunghan Kim, Anand Pillay. From stability to simplicity
    37 -- 54Ilijas Farah. Completely additive liftings
    runs on