Symbolic logic / by Irving M. Copi
Material type: TextPublication details: New Delhi : PHI Learning Private Limited, 2016cEdition: 5th edDescription: xiii, 398 p. : ill. ; 23 cmISBN: 9788120309708 (pbk)Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
Contents:
1. Logic And Language
2. Argument Containing Compound Statement
3. The Method Of Deduction
4. Quantification Theory
5. The Logic of Relation
6. Deductive System
7. Set Theory
8. A propositional Calculus
9. Alternative System and Notation
10.A First Order Function Calculus
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Namal Library Mathematics | 511.3 COP-S 2016 10910 (Browse shelf (Opens below)) | 1 | Available | 0010910 | ||
Books | Namal Library Mathematics | 511.3 COP-S 2016 10914 (Browse shelf (Opens below)) | 2 | Available | 0010914 | ||
Books | Namal Library Mathematics | 511.3 COP-S 2016 10913 (Browse shelf (Opens below)) | 3 | Available | 0010913 | ||
Books | Namal Library Mathematics | 511.3 COP-S 2016 10912 (Browse shelf (Opens below)) | 4 | Available | 0010912 | ||
Reference | Namal Library Mathematics | 511.3 COP-S 2016 10911 (Browse shelf (Opens below)) | 5 | Not for loan | 0010911 | ||
Books | Namal Library Mathematics | 511.3 COP-S 2016 11012 (Browse shelf (Opens below)) | 6 | Available | 0011012 |
Total holds: 0
Browsing Namal Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.3 COP-S 2016 10912 Symbolic logic / | 511.3 COP-S 2016 10913 Symbolic logic / | 511.3 COP-S 2016 10914 Symbolic logic / | 511.3 COP-S 2016 11012 Symbolic logic / | 511.3 END-M 2012 3571 A mathematical introduction to logic / | 511.3 FIS-A 2011 8981 An introduction to practical formal methods using temporal logic | 511.3 FIS-A 2011 8982 An introduction to practical formal methods using temporal logic |
Index icnluded
1. Logic And Language
2. Argument Containing Compound Statement
3. The Method Of Deduction
4. Quantification Theory
5. The Logic of Relation
6. Deductive System
7. Set Theory
8. A propositional Calculus
9. Alternative System and Notation
10.A First Order Function Calculus
There are no comments on this title.