Proof theory

Chi tiết về thư mục
Tác giả chính: Takeuti, Gaisi
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Những chủ đề:
Proof theory.
Miêu tả
Mô tả sách:Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.
Mô tả vật lý:vii, 372 p. ;

Những quyển sách tương tự