@article{ZVMMF_1976_16_2_a29,
     author = {N. M. Nagornyi},
     title = {Aussagenlogik und beweisverfahren: {H.~Freund,} {P.~Sorger} 136~p., {B.~G.~Teubner,} {Stuttgart,} 1974. {Book} review},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {535--536},
     publisher = {mathdoc},
     volume = {16},
     number = {2},
     year = {1976},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_1976_16_2_a29/}
}