عنوان
پدید آورنده
موضوع
رده
QA .T76 9.54 1996
QA
.
T76
9
.
54
1996
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0521572231
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Basic proof theory
First Statement of Responsibility
A.S. Troelstra, H. Schwichtenberg
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge ; New York
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
,1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 343 p. ill. 24 cm.
SERIES
Series Title
Cambridge tracts in theoretical computer science ;43
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references )p. 309-330( and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Proof theory
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Classification Record Number
9
.
54
Book number
.
T76
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Troelstra, A. S.)Anne Sjerp(
Entry Element
Title
Schwichtenberg, Helmut,1942-
English Book
