SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Extensional Godel functional interpretation
Edition
Call Number 511.3 LUC
ISBN/ISSN 3-540-06119-3
Author(s) Luchardt, Horst - Personal Name
Subject(s) Proof Theory
Intuitionistic Mathematics
Classification 511.3
Series Title Lecture Notes in Mathematics, vol. 306
GMD Text
Language English
Publisher Springer Verlag
Publishing Year 1973
Publishing Place Berlin
Collation vi, 161p
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U