Iterated inductive definitions and subsystems of analysis

SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

RECORD DETAIL

Title	Iterated inductive definitions and subsystems of analysis
Edition
Call Number	511 ITE
ISBN/ISSN	3-540-11170-0
Author(s)	Buchholz, Wilfried et. al. - Personal Name
Subject(s)	Proof Theory Mathematical analysis-Foundations
Classification	511
Series Title	Lecture notes in mathematics Vol. 897
GMD	Text
Language	English
Publisher	Springer-verlag
Publishing Year	1981
Publishing Place	Berlin
Collation	v, 383p
Abstract/Notes
Specific Detail Info
Image
File Attachment	LOADING LIST...
Availability	LOADING LIST...
	Back To Previous

Select Language

Title :
Author(s) :

Subject(s) :

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

Implemented by: Anees ur Rehman