청구기호 |
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)
|