11 found
Sort by:
  1. Daniel Leivant (2002). Intrinsic Reasoning About Functional Programs I: First Order Theories. Annals of Pure and Applied Logic 114 (1-3):117-153.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia (1999). National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999. Bulletin of Symbolic Logic 5 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Daniel Leivant (1999). Ramified Recurrence and Computational Complexity III: Higher Type Recurrence and Elementary Complexity. Annals of Pure and Applied Logic 96 (1-3):209-229.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Daniel Leivant (1990). Markov's Rule Revisited. Archive for Mathematical Logic 30 (2):125-127.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Daniel Leivant (1985). Syntactic Translations and Provably Recursive Functions. Journal of Symbolic Logic 50 (3):682-688.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Daniel Leivant (1983). The Optimality of Induction as an Axiomatization of Arithmetic. Journal of Symbolic Logic 48 (1):182-184.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Daniel Leivant (1981). Implicational Complexity in Intuitionistic Arithmetic. Journal of Symbolic Logic 46 (2):240-248.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Daniel Leivant (1981). On the Proof Theory of the Modal Logic for Arithmetic Provability. Journal of Symbolic Logic 46 (3):531-538.
  9. Daniel Leivant (1980). Innocuous Substitutions. Journal of Symbolic Logic 45 (2):363-368.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Daniel Leivant (1979). Assumption Classes in Natural Deduction. Mathematical Logic Quarterly 25 (1‐2):1-4.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Daniel Maurice Raphaël Leivant (1979). Absoluteness of Intuitionistic Logic. Mathematisch Centrum.
     
    My bibliography  
     
    Export citation