청구기호 |
BC135 .C47 1992 |
형태사항 |
xiii, 417 p. : ill. ; 24 cm.
|
언어 |
English |
서지주기 |
Includes bibliographical references (p. [397]-410) and index.
|
주제 |
Logic, Symbolic and mathematical.
Logique symbolique et mathe>matique. --ram
Mathematical logic
Logic
|
LCCN |
91024813
|
ISBN |
0198532113 (hbk.)
|