Works by Horst Luckhardt

( view other items matching `Horst Luckhardt`, view all matches )
Order:
  1.  8
    Extensional Gödel functional interpretation.Horst Luckhardt - 1973 - New York,: Springer Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  10
    A short proof of a well‐known theorem of intuitionistic analysis.Horst Luckhardt - 1975 - Mathematical Logic Quarterly 21 (1):185-186.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Bounds extracted by Kreisel from ineffective proofs.Horst Luckhardt - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 289--300.
    $342.04 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark