청구기호 |
BC128 .V33 2007eb |
형태사항 |
ix, 225 p. : ill. ; 24 cm.
|
언어 |
English |
서지주기 |
Includes bibliographical references and index.
|
주제 |
First-order logic.
|
보유판 및 특별호 저록 |
Original 9780521876599 0521876591 9780521700153 0521700159 , 132288227
|
ISBN |
9780511286858 (electronic bk.)
0511286856 (electronic bk.)
|