TY  - JOUR
AU  - N. M. Nagornyi
TI  - Aussagenlogik und beweisverfahren: H. Freund, P. Sorger 136 p., B. G. Teubner, Stuttgart, 1974. Book review
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 1976
SP  - 535
EP  - 536
VL  - 16
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_1976_16_2_a29/
LA  - ru
ID  - ZVMMF_1976_16_2_a29
ER  -