Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II KQHTAJ0GJA
| URI | m2://res/KQHTAJ0GJA |
|---|---|
| Kind | monograph |
| Creators | Egon Börger (editor), Walter Oberschelp (editor), Michael M. Richter (editor), Brigitta Schinzel (editor), Wolfgang Thomas (editor) |
| Date | 1984 |
| Scope | in |
Expressions
e1: edition
| Date | 1984 |
|---|---|
| Ids | DOI 10.1007/bfb0099476 |
- m1: print, Springer Berlin Heidelberg, 1984. isbn 9783540139010, isbn 9783540391197
Relations
- part_of Lecture Notes in Mathematics
Catalogue records
- springer-series: 10.1007/bfb0099476 (work)