4 found
Order:
  1.  85
    David Ballard & William Boshuck (1998). Definability and Descent. Journal of Symbolic Logic 63 (2):372-378.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  2.  51
    David Ballard & Karel Hrbacek (1992). Standard Foundations for Nonstandard Analysis. Journal of Symbolic Logic 57 (2):741-748.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    David Ballard (1985). Independence in Higher-Order Subclassical Logic. Notre Dame Journal of Formal Logic 26 (4):444-454.
  4.  7
    David Ballard (1988). Combinatory Completeness Without Classical Equality. Journal of Philosophical Logic 17 (2):115 - 132.