Proof theory /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Takeuti, Gaisi, 1926-
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Amsterdam : North-Holland Pub. Co., 1975.
Loạt:Studies in logic and the foundations of mathematics ; v. 81
Những chủ đề:

CARM 1 Store

Chi tiết quỹ từ CARM 1 Store
Số hiệu: A3:AR07E0 C11148
Sao chép 1 Sẵn có  Đặt Giữ