External Links

    Journal: Bulletin of Symbolic Logic

    Volume 17, Issue 2

    161 -- 229Murdoch James Gabbay. Foundations of nominal techniques: logic and semantics of variables in abstract syntax
    230 -- 251Alexandra Shlapentokh. Defining integers
    252 -- 264Simon Thomas. A descriptive view of combinatorial group theory
    runs on