02552nam 22007212 450 991096832820332120240912143844.01-383-03261-00-19-103722-21-282-38376-097866123837620-19-156707-810.1093/oso/9780198751410.001.0001(CKB)1000000000553433(StDuBDS)AH24081453(SSID)ssj0000180964(PQKBManifestationID)11182477(PQKBTitleCode)TC0000180964(PQKBWorkID)10157992(PQKB)11763784(Au-PeEL)EBL430685(CaPaEBR)ebr10358533(CaONFJC)MIL238376(OCoLC)435942159(Au-PeEL)EBL1718634(OCoLC)958570592(MiAaPQ)EBC430685(OCoLC)1406785046(StDuBDS)9781383032611(MiAaPQ)EBC1718634(EXLCZ)99100000000055343319970220e20231997 fy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierIntermediate logic1st ed.Oxford :Oxford University Press,2023.1 online resource (ix, 393 pages) illustrationsOxford scholarship onlinePreviously issued in print: 1997.0-19-875141-9 0-19-875142-7 Includes bibliographical references (p. 379-381) and index.Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEXThis 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.Oxford scholarship online.LogicPhilosophyukslcLogic.Philosophy.160Bostock David54633StDuBDSStDuBDSStDuBDSZStDuBDSZBOOK9910968328203321Intermediate logic4463970UNINA