LEADER 02552nam  22007212  450 
001 9910968328203321
005 20240912143844.0
010   $a1-383-03261-0
010   $a0-19-103722-2
010   $a1-282-38376-0
010   $a9786612383762
010   $a0-19-156707-8
024 7 $a10.1093/oso/9780198751410.001.0001
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(Au-PeEL)EBL430685
035   $a(CaPaEBR)ebr10358533
035   $a(CaONFJC)MIL238376
035   $a(OCoLC)435942159
035   $a(Au-PeEL)EBL1718634
035   $a(OCoLC)958570592
035   $a(MiAaPQ)EBC430685
035   $a(OCoLC)1406785046
035   $a(StDuBDS)9781383032611
035   $a(MiAaPQ)EBC1718634
035   $a(EXLCZ)991000000000553433
100   $a19970220e20231997  fy         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntermediate logic
205   $a1st ed.
210  1$aOxford :$cOxford University Press,$d2023.
215   $a1 online resource (ix, 393 pages) $cillustrations
225 1 $aOxford scholarship online
300   $aPreviously issued in print: 1997.
311 0 $a0-19-875141-9 
311 0 $a0-19-875142-7 
320   $aIncludes bibliographical references (p. 379-381) and index.
327   $aPart 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; INDEX
330 8 $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.
410  0$aOxford scholarship online.
606   $aLogic
606   $aPhilosophy$2ukslc
615  0$aLogic.
615  7$aPhilosophy.
676   $a160
700   $aBostock$b David$054633
801  0$bStDuBDS
801  1$bStDuBDS
801  2$bStDuBDSZ
801  2$bStDuBDSZ
906   $aBOOK
912   $a9910968328203321
996   $aIntermediate logic$94463970
997   $aUNINA