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