Lecture Notes in Mathematics > Computation and Proof Theory > 279-288
Source
Identifiers
series ISSN : | 0075-8434 |
book ISBN : | 978-3-540-13901-0 |
book e-ISBN : | 978-3-540-39119-7 |
DOI | 10.1007/BFb0099490 |
series ISSN : | 0075-8434 |
book ISBN : | 978-3-540-13901-0 |
book e-ISBN : | 978-3-540-39119-7 |
DOI | 10.1007/BFb0099490 |