| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:439701924:1870 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:439701924:1870?format=raw |
LEADER: 01870fam a2200349 a 4500
001 1479566
005 20220602043558.0
008 930324s1994 nyua b 001 0 eng
010 $a 93017282
020 $a0195080289 (acid-free paper)
020 $a0195080297 (pbk. : acid-free paper)
035 $a(OCoLC)27935532
035 $a(OCoLC)ocm27935532
035 $9AJA6989CU
035 $a(NNC)1479566
035 $a1479566
040 $aDLC$cDLC$dDLC
050 00 $aBC135$b.F57 1994
082 00 $a160$220
100 1 $aForbes, Graeme.$0http://id.loc.gov/authorities/names/n84009936
245 10 $aModern logic :$ba text in elementary symbolic logic /$cGraeme Forbes.
260 $aNew York :$bOxford University Press,$c1994.
300 $axii, 397 pages :$billustrations ;$c25 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
504 $aIncludes bibliographical references (p. [391]-392) and index.
505 0 $aPt. I. Classical Sentential Logic. Ch. 1. What is Logic? Ch. 2. First Steps in Symbolization. Ch. 3. Semantics for Sentential Logic. Ch. 4. Natural Deduction in Sentential Logic -- Pt. II. Monadic Predicate Logic. Ch. 5. Predication and Quantification in English. Ch. 6. Validity and Provability in Monadic Predicate Logic -- Pt. III. First-Order Logic With Identity. Ch. 7. Advanced Symbolizations. Ch. 8. Validity and Provability in First-Order Logic with Identity -- Pt. IV. Extensions and Alternatives to Classical Logic. Ch. 9. Modal Logic. Ch. 10. Intuitionistic Logic. Ch. 11. Fuzzy Logic -- Appendix: Using MacLogic.
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
650 0 $aLogic, Modern$y20th century.$0http://id.loc.gov/authorities/subjects/sh85078114
852 00 $boff,glx$hBC135$i.F57 1994
852 00 $bmil$hBC135$i.F57 1994