Journal of Symbolic Logic, 0022-4812

Journal

Publications

  1. 2015
  2. Published

    Bar recursion and products of selection functions

    Martin Escardo, 1 Mar 2015, In : Journal of Symbolic Logic. 80, 01, p. 1-28 28 p.

    Research output: Contribution to journalArticle

  3. 2014
  4. Published

    Interpretations between ω-logic and second-order arithmetic

    Sadie Kaye, 1 Sep 2014, In : Journal of Symbolic Logic. 79, 03, p. 845-858

    Research output: Contribution to journalArticle

  5. 2007
  6. Published

    Sublocales in Formal Topology

    Steven Vickers, 1 Jun 2007, In : Journal of Symbolic Logic. 72, 2, p. 463-482 20 p.

    Research output: Contribution to journalArticle