LEADER 03169nam  2200625Ia 450 
001 9910453395803321
005 20211005015642.0
010   $a1-282-38376-0
010   $a9786612383762
010   $a0-19-156707-8
035   $a(CKB)1000000000553433
035   $a(StDuBDS)AH24081453
035   $a(SSID)ssj0000180964
035   $a(PQKBManifestationID)11182477
035   $a(PQKBTitleCode)TC0000180964
035   $a(PQKBWorkID)10157992
035   $a(PQKB)11763784
035   $a(MiAaPQ)EBC430685
035   $a(Au-PeEL)EBL430685
035   $a(CaPaEBR)ebr10358533
035   $a(CaONFJC)MIL238376
035   $a(OCoLC)435942159
035   $a(MiAaPQ)EBC1718634
035   $a(Au-PeEL)EBL1718634
035   $a(OCoLC)958570592
035   $a(EXLCZ)991000000000553433
100   $a19970314d1997      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aIntermediate logic$b[electronic resource] /$fDavid Bostock
210   $aOxford $cClarendon Press ;$aNew York $cOxford University Press$d1997
215   $a1 online resource (336p. ) $cill
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-19-875141-9 
311   $a0-19-875142-7 
320   $aIncludes bibliographical references (p. 379-381) and index.
330   $aThis text is aimed especially for anyone who has taken a first course in logic and is progressing to further study. The author examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding.
330   $bIntermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches. In the first section, Bostock covers such fundamental notions as truth, validity, entailment, qualification, and decision procedures. Part Two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi. The final section opens up new areas of existence and identity, concluding by moveing from orthodox logic to an examination of `free logic'. Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic.
606   $aLogic, Symbolic and mathematical
606   $aLogic
608   $aElectronic books.
615  0$aLogic, Symbolic and mathematical.
615  0$aLogic.
676   $a160
700   $aBostock$b David$054633
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910453395803321
996   $aIntermediate logic$92486543
997   $aUNINA