Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II. = Lecture Notes in Mathematics 1104 /
Další autoři: |
Richter, M.M
(
Editor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Berlin :
Springer-Verlag,
1984
|
Edice: |
Lecture Notes in Mathematics ;
1104 |
Předmět: | |