External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 46, Issue 1

    1 -- 17Aldo Antonelli, Robert May. Frege s ::::Other:::: Program
    19 -- 50José Iovino. Definable Types Over Banach Spaces
    51 -- 64Verónica Becher, Santiago Figueira, André Nies, Silvana Picchi. Program Size Complexity for Possibly Infinite Computations
    65 -- 81Rosalie Iemhoff. Intermediate Logics and Visser s Rules
    83 -- 91Fernando Ferreira. A Simple Proof of Parsons Theorem
    93 -- 105Stephen Pollard. The Expressive Unary Truth Functions of ::::n::::-valued Logic
    107 -- 125O. Bradley Bassler. Foundations of Mathematics in the Theory of Sets
    runs on