Proofs and computations /

Chi tiết về thư mục
Những tác giả chính: Schwichtenberg, Helmut, Wainer, S. S. (Tác giả)
Tác giả của công ty: Association for Symbolic Logic
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Loạt:Perspectives in logic.
Những chủ đề:
Computable functions.
Proof theory.
Truy cập trực tuyến:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Chi tiết quỹ từ University of Calicut
Số hiệu: 511.352
Sao chép Trạng thái trực tiếp không khả dụng

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