External Links

    Journal: Bulletin of Symbolic Logic

    Volume 18, Issue 4

    481 -- 504Penelope Maddy. The philosophy of logic
    505 -- 553Arnaud Durand, Neil D. Jones, Johann A. Makowsky, Malika More. Fifty years of the spectrum problem: survey and new results
    554 -- 575Benjamin D. Miller. The graph-theoretic approach to descriptive set theory

    Volume 18, Issue 3

    313 -- 367Jan von Plato. Gentzen's proof systems: byproducts in a work of genius
    368 -- 381Deirdre Haskell. Model theory of analytic functions: some historical comments
    382 -- 402Albert Visser. Vaught's Theorem on Axiomatizability by a Scheme

    Volume 18, Issue 2

    161 -- 229Peter G. Hinman. A survey of Mučnik and Medvedev degrees
    230 -- 260Arianna Betti, Iris Loeb. On Tarski's foundations of the geometry of solids
    261 -- 267Sy-David Friedman. The stable core

    Volume 18, Issue 1

    1 -- 45Philip Ehrlich. The absolute arithmetic continuum and the unification of all numbers great and small
    46 -- 90Akihiro Kanamori. In praise of replacement
    91 -- 121Jouko A. Väänänen. Second order logic or set theory?
    runs on