| 청구기호 |
BC135 .B95 2018 |
| 형태사항 |
xvi, 517 p. : ill. ; 24 cm.
|
| 언어 |
English |
| 서지주기 |
Includes bibliographical references (p. 477-505) and indexes.
|
| 주제 |
Logic, Symbolic and mathematical --Philosophy.
Model theory --Philosophy.
Mathematics --Philosophy.
Philosophy, Modern.
Semantics.
|
| LCCN |
2017959066
|
| ISBN |
9780198790396 (hardback : alk. paper)
9780198790402 (pbk. : alk. paper)
|
