Proceedings of the Herbrand symposium: Logic colloquium '81, Marseilles, 1981
J. Stern年:
1982
出版社:
Elsevier
语言:
english
页:
380
ISBN 10:
0444864172
ISBN 13:
9780444864178
系列:
Studies in Logic and the Foundations of Mathematics, Volume 107
文件:
DJVU, 2.74 MB
IPFS:
,
english, 1982