LEADER 00844nam0-22003011i-450- 001 990000466690403321 005 20060124182223.0 010 $a0-07-451791-0 035 $a000046669 035 $aFED01000046669 035 $a(Aleph)000046669FED01 035 $a000046669 100 $a20020821d1985----km-y0itay50------ba 101 0 $aeng 102 $aIN 105 $ay-------001yy 200 1 $aInstrumentation measurement and analysis$fB. C. Nakra, K. K. Chaudhry 210 $aNew Delhi$cTata McGraw-Hill$d1985 215 $aX, 534 p.$cill. 700 1$aNakra,$bB. C.$025747 702 1$aChaudhry,$bK. K. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000466690403321 952 $a10 D I 132$b285 DEE$fDINEL 959 $aDINEL 996 $aInstrumentation measurement and analysis$9331756 997 $aUNINA LEADER 03247nam 2200625Ia 450 001 9910782207503321 005 20230511185828.0 010 $a1-383-03261-0 010 $a0-19-103722-2 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(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(EXLCZ)991000000000553433 100 $a19970314d1997 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntermediate logic /$fDavid Bostock 210 1$aOxford :$cClarendon Press ;$aNew York :$cOxford University Press,$d1997. 215 $a1 online resource (ix, 393 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 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 $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 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 $a9910782207503321 996 $aIntermediate logic$93771943 997 $aUNINA