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.]
Material type:
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
Matheson Library Main Collection | Main Collection | 511.3 L832c (Browse shelf(Opens below)) | Available | 042813 |
There are no comments on this title.
Log in to your account to post a comment.