Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of his 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium Kiel 1974 = Lecture Notes in Mathematics 500 /
| Další autoři: |
Diller, J.
(
Editor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Berlin :
Springer-Verlag,
1975
|
| Edice: |
Lecture Notes in Mathematics ;
500 |
| Předmět: | |
|
|