Tác giả: R. Pablo Arribillaga, Jordi Massó, Alejandro Neme
Ngôn ngữ: eng
Ký hiệu phân loại: 511.36 Proof theory and constructive mathematics
Thông tin xuất bản: 2024
Mô tả vật lý:
Bộ sưu tập: Metadata
ID: 204059 Tạo mục trích dẫn