TY  - BOOK
AU  - Boehme,Gert
TI  - Einstieg in die mathematische Logik
SN  - 3446134719
PY  - 1981///
CY  - Muenchen, Wien
PB  - Hanser Verlag
KW  - математическая логика
KW  - логика высказываний
KW  - исчисление высказываний
KW  - семантика логических языков
KW  - логика предикатов
KW  - исчисление предикатов
KW  - синтаксис логических языков
KW  - многозначные логики
ER  -