Đang tải...

Applied Proof Theory: Proof Interpretations and their use in Mathematics /

Chi tiết về thư mục
Tác giả khác: Kohlenbach,, Ulrich
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Berlin: Springer, 2008.
Phiên bản:1
Loạt:Springer Monographs in Mathematics
Những chủ đề:
Miêu tả
Được phát hành:2008.
Mô tả vật lý:534.
số ISBN:978-3-540-77532-4