Logic Symposia, Hakone, 1979, 1980
G.H. Müller, G. Takeuti, T. Tugue年:
1981
版本:
1
出版商:
Springer
語言:
english
頁數:
398
ISBN 10:
3540111611
ISBN 13:
9783540111610
系列:
Lecture Notes in Mathematics
文件:
DJVU, 1.94 MB
IPFS:
,
english, 1981