Computation and proof theory /

Bibliographic Details
Other Authors: Richter, Michael M. (ed.)
Format: Book
Language:English
Published: Berlin : Springer, 1984.
Series:Lecture notes in mathematics ; v. 1104
LNM ; v. 1104
Subjects: