Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 16 (1976) no. 2, pp. 535-536
Citer cet article
N. M. Nagornyi. Aussagenlogik und beweisverfahren: H. Freund, P. Sorger 136 p., B. G. Teubner, Stuttgart, 1974. Book review. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 16 (1976) no. 2, pp. 535-536. http://geodesic.mathdoc.fr/item/ZVMMF_1976_16_2_a29/
@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},
year = {1976},
volume = {16},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_1976_16_2_a29/}
}
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
UR - http://geodesic.mathdoc.fr/item/ZVMMF_1976_16_2_a29/
LA - ru
ID - ZVMMF_1976_16_2_a29
ER -
%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
%U http://geodesic.mathdoc.fr/item/ZVMMF_1976_16_2_a29/
%G ru
%F ZVMMF_1976_16_2_a29
