Proof theory
Gaisi Takeutiカテゴリー:
年:
1987
版:
2nd ed
出版社:
North-Holland
言語:
english
ページ:
500
ISBN 10:
0444879439
ISBN 13:
9780444879431
シリーズ:
Studies in Logic and the Foundations of Mathematics 81
ファイル:
DJVU, 4.47 MB
IPFS:
,
english, 1987