Tài liệu Download
The nuts and bolts of proofs
Cupillari, Antonella · Amsterdam : Elsevier Academic Press, 2005
- Nhà xuất bản
- Amsterdam : Elsevier Academic Press, 2005
- Mô tả vật lý
- 179 trang
- ISBN
- 0-12-088509-3;978-0-12-088509-1
- Phân loại Dewey
- 511.36
- Chủ đề
- Proof theory
- 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 | 14853 |
| 005Ngày và thời gian giao dịch lần cuối với biểu ghi | 21/07/2016 · 13:42 |
| 008Các yếu tố dữ liệu có độ dài cố định | r eng |
| 010Số kiểm soát của thư viện quốc hội hoa kỳ | lc05296426 |
| 020Số sách chuẩn quốc tế ISBN |
|
| 041Mã ngôn ngữ | eng |
| 082Ký hiệu xếp giá theo phân loại thập phân dewey | 511.36 C521-I |
| 100Tiêu đề chính - Tên cá nhân | Cupillari, Antonella |
| 245Nhan đề chính | The nuts and bolts of proofs / Antonella Cupillari |
| 250Lần xuất bản | 3rd ed. |
| 260Địa chỉ xuất bản, phát hành... (in ấn) | Amsterdam : Elsevier Academic Press , 2005 |
| 300Mô tả vật lý | XII, 179 s. : ill. |
| 650Tiêu đề bổ sung chủ đề - thuật ngữ chủ đề | Proof theory |
| 999Bộ sưu tập | Tài liệu Download |
=001 14853=005 20160721134225.0=008 r eng=010 ##$alc05296426=020 ##$a0-12-088509-3=020 ##$a978-0-12-088509-1=041 0#$aeng=082 1#$a511.36 $bC521-I=100 1#$aCupillari, Antonella=245 14$aThe nuts and bolts of proofs / $cAntonella Cupillari=250 ##$a3rd ed.=260 ##$aAmsterdam : $bElsevier Academic Press , $c2005=300 ##$aXII, 179 s. : $bill.=650 #0$aProof theory=LDR 00609nam a2200229 a 4500