Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
proof theory
پدید آورنده
Schutte, Kurt
موضوع
، Proof theory
رده
QA
9
.
54
.
S3813
کتابخانه
Central Library and Documents Center of Al-Zahra University
محل استقرار
استان:
Tehran
ـ شهر:
Tehran
تماس با کتابخانه :
88044040
-
021
OTHER STANDARD IDENTIFIER
Standard Number
34914
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
englishus
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Schutte, Kurt
Title Proper
proof theory
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer - Verlage
Date of Publication, Distribution, etc.
1977
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 302p.: , col.
SERIES
Series Title
Grundlehren der mathematischen Wissenschaften; 522
GENERAL NOTES
Text of Note
Translation of Beweistheorie
Text of Note
Includes index
Text of Note
bibliography: p.293-296
TOPICAL NAME USED AS SUBJECT
Entry Element
، Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
54
.
S3813
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Kurt Schutte; translation form the German by J. N. Crossley
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
ه مرکزیانابخکت
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal