| 청구기호 |
BC108 .R47 2006eb |
| 형태사항 |
xiii, 225 p. : ill. ; 23 cm.
|
| 언어 |
English |
| 서지주기 |
Includes bibliographical references (p. 218-219) and index.
|
| 내용 |
Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?
|
| 주제 |
Logic.
|
| 보유판 및 특별호 저록 |
Original 0415400678 0415400686 , 63115330
|
| ISBN |
0203645375 (electronic bk.)
9780203645376 (electronic bk.)
|
