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