Showing 1 - 2 results of 2 for search 'Luckhardt, Horst', זמן שאילתה: 0.04s Refine Results
  1. 1
    Extensional godel functional interpretation
    מאת Luckhardt, Horst
    יצא לאור 1973
    Printed Book
  2. 2
    Extensional Godel functional intepretation: A consistency of proof of classical analysis
    מאת Luckhardt, Horst
    יצא לאור 1973
    Printed Book
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל