SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Metamathematical investigation of intuitionistic anthmetic and analysis
Edition
Call Number 511.3 MET
ISBN/ISSN 3-540-06491-5
Author(s) Troelstra, A. S. - Personal Name
Subject(s) Proof Theory
Intuitionistic Mathematics
Classification 511.3
Series Title Lecture Notes in Mathematics, vol.no.344
GMD Text
Language English
Publisher Springer Verlag
Publishing Year 1971
Publishing Place Berlin
Collation xvii, 485p
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