청구기호 |
BC71 .E57 v. 1 |
형태사항 |
v. <1 > : ill. ; 25 cm.
|
언어 |
English |
서지주기 |
Includes bibliographical references (p. 438-450) and indexes.
|
내용 |
v. 1. Propositional logics, 2/e--v. 2. Predicate logic.
|
주제 |
Logic.
Logic, Symbolic and mathematical.
Semantics.
|
LCCN |
94013917
|
ISBN |
0195087615
|