PROOF, LOGIC AND FORMALIZATION
MICHAEL DETLEFSEN
Thông tin sách
| Tựa đề | PROOF, LOGIC AND FORMALIZATION |
| Mã sách | 5755 |
| DDC | 511.3 |
| Phân loại | Mathematical (Symbolic) Logic |
| Ngôn ngữ | Tiếng Anh |
| Số trang | 107 |
| Tác giả | MICHAEL DETLEFSEN |
| N. Xuất bản | ROUTLEDGE |
| Tại | LONDON; NEW YORK |
| Năm | 1992 |
Trích dẫn
Detlefsen, Michael.
Proof, Logic and Formalization. London; New York: Routledge , 1992.