TY  - BOOK
AU  - Schoening,Uwe
TI  - Logic for computer scientists
T2  - Progress in computer science and applied logic / ed. by John C. Cherniavsky [a. o.]
SN  - 0817634533
PY  - 2001///
CY  - Boston [a. o.]
PB  - Birkhaeuser
KW  - логическое программирование
KW  - логика предикатов
KW  - логика высказываний
N1  - Bibliogr.: p. 155-159. - Index: p. 163-166
ER  -