عنوان
پدید آورنده
موضوع
رده
QA 9.59 .C65 1983
QA
9
.
59
.
C65
1983
کتابخانه
محل استقرار
48730
English
Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
Berlin
Springer-Verlag
1984
viii, 475 p.: 25 cm
Lecture notes in mathematics
1104
Includes bibliographical references and index
edited by M. M. Richter ... ]et al.[
Congresses ، Computational complexity
Congresses ، Proof theory
QA
9
.
59
.
C65
1983
TI
AU .M .M ,rethciR ed
TI Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
SE
یاضه ریه دانشکدانابخکت
