All Stories

  1. A system of predicate logical inference not disturbed by variables.

    Article • The Review of Symbolic Logic, July 2016, Cambridge University Press

    Dr Paul Dekker