Proof Theory
Gaisi Takeuti, 竹内 外史კატეგორია:
წელი:
1987
გამოცემა:
2nd
გამომცემლობა:
North-Holland
ენა:
english
გვერდები:
500
ISBN 10:
0720422779
ISBN 13:
9780720422771
სერია:
Studies in Logic and the Foundations of Mathematics 81
ფაილი:
PDF, 23.91 MB
IPFS:
,
english, 1987