Works by David Ballard ( view other items matching `David Ballard`, view all matches )

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