Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
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.].
Series: Lecture notes in mathematics (Springer-Verlag) ; 1104.Publication details: Berlin; New York: Springer-Verlag, 1984.Description: viii, 475 p.: ill.; 25 cmISBN:- 354013901X (Springer-Verlag, Berlin)
- 038713901X (Springer-Verlag, New York)
| 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.