LEADER 00000nam a22003851i 4500 
001    frd00007368 
003    CtWfDGI 
005    20151208123842.0 
006    m    eo  d         
007    cr un ---anuuu 
008    151208s2015    xx     eo     000 0 eng d 
020    9780486808598|q(e-pub) 
024 3  9780486808598 
040    CtWfDGI|beng|erda|cCtWfDGI 
050  4 BC108 
082 04 160|223 
100 1  Ambrose, Alice,|d1906- 
245 10 Logic :|bThe Theory of Formal Inference /|cAlice Ambrose. 
264  1 [Place of publication not identified] :|bDover 
       Publications,|c[2015] 
264  4 |c©2015 
300    1 online resource (96 pages) 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
506    Access limited to subscribing institutions. 
520    Geared toward college undergraduates new to the subject, 
       this concise introduction to formal logic was written by 
       Alice Ambrose and Morris Lazerowitz, a pair of noted 
       scholars and prolific authors in this field. A preliminary
       section opens the subject under the heading of truth-
       functions. Two subsequent parts on quantification and 
       classes, each subdivided into numerous brief specifics, 
       complete the overview. Suitable for students of philosophy
       as well as mathematics, the three-part treatment begins 
       with the intuitive development of the standard theory of 
       sentential connectives (called "operators"). The theory is
       further developed with the assistance of truth-tables and 
       ultimately as a logistic system. Part II explores first-
       order quantification theory. In addition to examining most
       of the familiar laws that can be expressed by monadic 
       formulas, the text addresses polyadic principles and the 
       theories of identity and descriptions. Part III focuses on
       elementary concepts of classes, from class membership and 
       class inclusion to the algebra of classes. Each part 
       concludes with a series of exercises. 
538    System requirements: Adobe Digital editions. 
650  0 Logic. 
650  7 PHILOSOPHY / Logic.|2bisacsh 
655  0 Electronic books. 
700 1  Lazerowitz, Morris,|d1909-1987. 
776 08 |iPrint version:|aAmbrose, Alice, 1906-|tLogic : the 
       theory of formal inference.|dMineola,  New York : Dover 
       Publications, Inc., 2015.|z9780486796772|w(DLC)2015020217 
914    frd00007368