Proceedings of the Logic Colloquium held in Aachen, July 18 - 23, 1983. Pt. II. Computation and Proof Theory. Richter M. a.o., editors
Material type: TextLanguage: English Publication details: Berlin Springer-Verlag 1984Description: 483 pDDC classification:- MF
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Institute of Mathematics | General | MF (Browse shelf(Opens below)) | Available |
MicroFiche. Lecture Notes in Mathematics, Vol. 1104
There are no comments on this title.