عنوان
پدید آورنده
موضوع
رده
QA 3 .L28 no.897
QA
3
.
L28
no
.
897
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
4416
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin; New York
Name of Publisher, Distributor, etc.
Springer - Verlag
Date of Publication, Distribution, etc.
1981
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v. 383p
SERIES
Series Title
Lecture notes in mathematics; 798
GENERAL NOTES
Text of Note
Bibliography: p. )358( - 368
Text of Note
Includes index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
)by( Wilfreid Buchholz )et al(
TOPICAL NAME USED AS SUBJECT
Entry Element
Foundations ، Mathematical analysis
Entry Element
، Induction )Mathematics(
Entry Element
، Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
3
.
L28
no
.
897
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Buchholz, Wilfried 1948-
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
