SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title ISILC Proof theory symposion
Edition
Call Number 511.3 PRO
ISBN/ISSN 3-540-07533-X
Author(s) Diller, J. - Personal Name
Muller, G. H. - Personal Name
Subject(s) Proof theory-Congresses
Schutte, Kurt--Bibliography
Classification 511.3
Series Title Lecture notes in mathematics Vol.500
GMD Text
Language English
Publisher Springer-verlag
Publishing Year 1975
Publishing Place Berlin
Collation viii, 383p
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