Downloads
Proof, logic and formalization
Detlefsen, Michael, 1948 · London New York : Routledge, 1992
- Publisher
- London New York : Routledge, 1992
- Physical description
- 241 pages
- ISBN
- 0415023351
- Dewey classification
- 511.3(20)
- Language
- English
Digital copy
Full textPDF · reads in your browser
Sign-in requiredRead
Catalogue record
| Field | Value |
|---|---|
| 001Control number | 19673 |
| 008Fixed-length data elements | 940929s1992 enka b 001 0 eng |
| 010Library of Congress control number | 91017469 |
| 020International Standard Book Number (ISBN) | 0415023351 |
| 035System control number | CUA000024149 |
| 041Language code | eng |
| 082Dewey Decimal call number | 511.3(20) |
| 090Local call number | QA9.54.P77 1992 |
| 245Title statement | Proof, logic and formalization / edited by Michael Detlefsen. |
| 260Publication, distribution, etc. (imprint) | London ; New York : Routledge, 1992 |
| 300Physical description | x, 241 p. : ill. ; 23 cm. |
| 504Bibliography, etc. note | Includes bibliographical references and index. |
| 650Subject added entry – topical term |
|
| 700Added entry – personal name | Detlefsen, Michael, 1948- |
| 999Collection | Downloads |
=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