000 | 04433cam a22008534a 4500 | ||
---|---|---|---|
001 | ocm64668437 | ||
003 | OCoLC | ||
005 | 20220712194038.0 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 060314s2005 enka o 001 0 eng d | ||
010 | _a 2005019564 | ||
040 |
_aN$T _beng _epn _cN$T _dOCLCQ _dYDXCP _dOCLCQ _dOCLCG _dOCLCQ _dTUU _dOCLCQ _dMT4IT _dQE2 _dIDEBK _dCN5CF _dOCLCQ _dOCLCF _dOCLCO _dOCLCQ _dINTCL _dAGLDB _dPIFBR _dOCLCQ _dJBG _dWY@ _dLUE _dSTF _dVTS _dCEF _dYDX _dEBLCP _dLHU _dCANPU _dBRX _dOCLCQ _dCNTRU _dOCLCQ _dK6U _dSFB _dUKSSU _dOCLCO |
||
019 |
_a150348981 _a252637578 _a455973042 _a755659332 _a814476046 _a824558940 _a991996515 _a1044246402 _a1044620526 _a1056368423 _a1056385236 _a1078864130 _a1097280506 _a1125437779 _a1136331139 _a1154850610 |
||
020 |
_a142375722X _q(electronic bk.) |
||
020 |
_a9781423757221 _q(electronic bk.) |
||
020 | _a9786610759002 | ||
020 | _a6610759006 | ||
020 | _a9780198530275 | ||
020 | _a0198530277 | ||
020 |
_z0198530277 _q(Paper) |
||
020 | _a1280759003 | ||
020 | _a9781280759000 | ||
020 | _a0198530269 | ||
020 | _a9780198530268 | ||
024 | 3 | _a9780198530275 | |
024 | 3 | _a9780198530268 | |
029 | 1 |
_aAU@ _b000051588360 |
|
029 | 1 |
_aDEBBG _bBV043097332 |
|
029 | 1 |
_aDEBSZ _b422283320 |
|
035 |
_a(OCoLC)64668437 _z(OCoLC)150348981 _z(OCoLC)252637578 _z(OCoLC)455973042 _z(OCoLC)755659332 _z(OCoLC)814476046 _z(OCoLC)824558940 _z(OCoLC)991996515 _z(OCoLC)1044246402 _z(OCoLC)1044620526 _z(OCoLC)1056368423 _z(OCoLC)1056385236 _z(OCoLC)1078864130 _z(OCoLC)1097280506 _z(OCoLC)1125437779 _z(OCoLC)1136331139 _z(OCoLC)1154850610 |
||
050 | 4 |
_aBC173 _b.B67 2005eb |
|
055 | 1 | 3 |
_aBC173 _b.B67 2005eb |
072 | 7 |
_aPHI _x011000 _2bisacsh |
|
082 | 0 | 4 |
_a160 _222 |
049 | _aMAIN | ||
100 | 1 |
_aBornat, Richard, _d1944- _91366598 |
|
245 | 1 | 0 |
_aProof and disproof in formal logic : _ban introduction for programmers / _cRichard Bornat. |
260 |
_aOxford ; _aNew York : _bOxford University Press, _c2005. |
||
300 |
_a1 online resource (xix, 243 pages) : _billustrations. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
490 | 1 |
_aOxford texts in logic ; _v2 |
|
500 | _aIncludes index. | ||
505 | 0 | _aBasics -- Formal proof -- Disproof -- Proof of programs. | |
588 | 0 | _aPrint version record. | |
520 | _a"Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Deduction - is very small and very simple and teaches the student how to focus on syntactic reasoning." "Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text shows how to make proofs and disproofs in Jape, an interactive easy-to-use logic calculator designed and hosted by the author that is freely available on the web."--Jacket. | ||
546 | _aEnglish. | ||
590 |
_aeBooks on EBSCOhost _bEBSCO eBook Subscription Academic Collection - Worldwide |
||
650 | 0 |
_aEvidence. _958481 |
|
650 | 0 |
_aLogic, Modern. _9209474 |
|
650 | 6 |
_aÉvidence. _9872876 |
|
650 | 7 |
_aPHILOSOPHY _xLogic. _2bisacsh _9901006 |
|
650 | 7 |
_aEvidence. _2fast _0(OCoLC)fst00917177 _958481 |
|
650 | 7 |
_aLogic, Modern. _2fast _0(OCoLC)fst01002066 _9209474 |
|
650 | 7 |
_aMathematics. _2hilcc _937903 |
|
650 | 7 |
_aPhilosophy. _2hilcc |
|
650 | 7 |
_aPhilosophy & Religion. _2hilcc |
|
650 | 7 |
_aPhysical Sciences & Mathematics. _2hilcc _9529134 |
|
650 | 7 |
_aLogic. _2hilcc _971481 |
|
650 | 7 |
_aMathematical Theory. _2hilcc _9983590 |
|
655 | 0 | _aElectronic books. | |
655 | 4 | _aElectronic books. | |
776 | 0 | 8 |
_iPrint version: _aBornat, Richard, 1944- _tProof and disproof in formal logic. _dOxford ; New York : Oxford University Press, 2005 _z0198530277 _z0198530269 _w(DLC) 2005019564 _w(OCoLC)61179513 |
830 | 0 |
_aOxford texts in logic ; _v2. _9202053 |
|
856 | 4 | 0 | _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=150234 |
938 |
_aProQuest Ebook Central _bEBLB _nEBL5597961 |
||
938 |
_aEBSCOhost _bEBSC _n150234 |
||
938 |
_aProQuest MyiLibrary Digital eBook Collection _bIDEB _n75900 |
||
938 |
_aYBP Library Services _bYANK _n15854047 |
||
938 |
_aYBP Library Services _bYANK _n2405018 |
||
994 |
_a92 _bINOPJ |
||
999 |
_c2883974 _d2883974 |