Limit search to items available for checkout
BOOK
Title Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter ... [et al.].
Imprint Berlin ; New York : Springer-Verlag, 1984.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA3 .L28 no. 1104    AVAILABLE
Description viii, 475 p. : ill. ; 25 cm.
Series Lecture notes in mathematics ; 1104.
Lecture notes in mathematics (Springer-Verlag) ; 1104.
Bibliog. Includes bibliographies.
Subject Computable functions -- Congresses.
Proof theory -- Congresses.
Other Author Richter, Michael M., 1938-