Extensional Godel Functional Interpretation
Horst Luckhardt种类:
年:
1973
出版:
1
出版社:
Springer
语言:
english
页:
166
ISBN 10:
3540061193
ISBN 13:
9783540061199
系列:
Lecture Notes in Mathematics
文件:
DJVU, 803 KB
IPFS:
,
english, 1973