عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.1104
QA
1
.
L4
v
.
1104
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1984
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
475p.
SERIES
Other Title Information
Lecture notes in mathematics; 4011
GENERAL NOTES
Text of Note
Includes bibliographies
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edite by M. M. Richter, ... ]et al.[
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
1
.
L4
v
.
1104
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Richter, M. M.
SE
