Tài liệu Download
Proof, logic and formalization
Detlefsen, Michael, 1948 · London New York : Routledge, 1992
- Nhà xuất bản
- London New York : Routledge, 1992
- Mô tả vật lý
- 241 trang
- ISBN
- 0415023351
- Phân loại Dewey
- 511.3(20)
- Ngôn ngữ
- Tiếng Anh
Bản điện tử
Toàn vănPDF · đọc ngay trên trình duyệt
Cần đăng nhậpĐọc
Thông tin biên mục
| Thông tin | Chi tiết |
|---|---|
| 001Số kiểm soát | 19673 |
| 008Các yếu tố dữ liệu có độ dài cố định | 940929s1992 enka b 001 0 eng |
| 010Số kiểm soát của thư viện quốc hội hoa kỳ | 91017469 |
| 020Số sách chuẩn quốc tế ISBN | 0415023351 |
| 035Số kiểm soát hệ thống | CUA000024149 |
| 041Mã ngôn ngữ | eng |
| 082Ký hiệu xếp giá theo phân loại thập phân dewey | 511.3(20) |
| 090Vị trí tài liệu trên giá | QA9.54.P77 1992 |
| 245Nhan đề chính | Proof, logic and formalization / edited by Michael Detlefsen. |
| 260Địa chỉ xuất bản, phát hành... (in ấn) | London ; New York : Routledge, 1992 |
| 300Mô tả vật lý | x, 241 p. : ill. ; 23 cm. |
| 504Phụ chú thư mục v.v... | Includes bibliographical references and index. |
| 650Tiêu đề bổ sung chủ đề - thuật ngữ chủ đề |
|
| 700Tiêu đề bổ sung - Tên cá nhân | Detlefsen, Michael, 1948- |
| 999Bộ sưu tập | Tài liệu Download |
=001 19673=008 940929s1992 enka b 001 0 eng=010 ##$a91017469=020 ##$a0415023351=035 ##$aCUA000024149=041 0#$aeng=049 ##$aul=082 00$a511.3(20)=090 ##$aQA9.54.P77 1992=245 00$aProof, logic and formalization / $cedited by Michael Detlefsen.=260 0#$aLondon ; $aNew York : $bRoutledge, $c1992=300 ##$ax, 241 p. : $bill. ; $c23 cm.=504 ##$aIncludes bibliographical references and index.=650 #0$aLogic, Symbolic and mathematical.=650 #0$aProof theory.=700 1#$aDetlefsen, Michael, $d1948-=949 ##$aul $b000385931 $tmono=LDR 00788nam a2200265 a 4500