청구기호 |
BC135 .F57 1994 |
형태사항 |
xii, 397 p. : ill. ; 25 cm.
|
언어 |
English |
서지주기 |
Includes bibliographical references (p. [391]-392) and index.
|
주제 |
Logic, Symbolic and mathematical.
Logic, Modern --20th century.
Logic
|
LCCN |
93017282
|
ISBN |
0195080289 (acid-free paper)
0195080297 (pbk. : acid-free paper)
|