TY  - BOOK
AU  - Bostock,David
TI  - Intermediate logic
SN  - 0198751419 (acid-free paper)
PY  - 2002///
CY  - Oxford [a. o.]
PB  - Clarendon Press [a. o.]
KW  - Logic, Symbolic and mathematical
KW  - логика
KW  - истина
KW  - семантика
KW  - идентичность
KW  - дедукция
KW  - доказательство
KW  - аксиомы
KW  - индукция
KW  - аргументация
N1  - Bibliogr.: p. 379-381. - Index: p. 391-393
ER  -