%0 Journal Article
%A N. M. Nagornyi
%T Aussagenlogik und beweisverfahren: H. Freund, P. Sorger 136 p., B. G. Teubner, Stuttgart, 1974. Book review
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1976
%P 535-536
%V 16
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1976_16_2_a29/
%G ru
%F ZVMMF_1976_16_2_a29