Extensional godel functional interpretation

समान संसाधन

• Extensional Godel functional intepretation: A consistency of proof of classical analysis
  द्वारा: Luckhardt, Horst
  प्रकाशित: (1973)
• Theory of arithemetic functions
  प्रकाशित: (1972)
• Elliptic functions and transcendence
  द्वारा: Masser, David
  प्रकाशित: (1975)
• Functional analysis and applications
  प्रकाशित: (1974)
• Differentiation of real functions
  द्वारा: Bruckner, Andrew M
  प्रकाशित: (1978)