03169nam 2200625Ia 450 991045339580332120211005015642.01-282-38376-097866123837620-19-156707-8(CKB)1000000000553433(StDuBDS)AH24081453(SSID)ssj0000180964(PQKBManifestationID)11182477(PQKBTitleCode)TC0000180964(PQKBWorkID)10157992(PQKB)11763784(MiAaPQ)EBC430685(Au-PeEL)EBL430685(CaPaEBR)ebr10358533(CaONFJC)MIL238376(OCoLC)435942159(MiAaPQ)EBC1718634(Au-PeEL)EBL1718634(OCoLC)958570592(EXLCZ)99100000000055343319970314d1997 uy 0engur|||||||||||txtccrIntermediate logic[electronic resource] /David BostockOxford Clarendon Press ;New York Oxford University Press19971 online resource (336p. ) illBibliographic Level Mode of Issuance: Monograph0-19-875141-9 0-19-875142-7 Includes bibliographical references (p. 379-381) and index.This 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.Intermediate 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.Logic, Symbolic and mathematicalLogicElectronic books.Logic, Symbolic and mathematical.Logic.160Bostock David54633MiAaPQMiAaPQMiAaPQBOOK9910453395803321Intermediate logic2486543UNINA