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.].

By:

Contributor(s):

Series: Lecture notes in mathematics (Springer-Verlag) ; 1104.Publication details: Berlin; New York: Springer-Verlag, 1984.Description: viii, 475 p.: ill.; 25 cmISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Coleções de Monografias (Monographs Collections)		1	Available		39063000240062

Includes bibliographies.

There are no comments on this title.

to post a comment.