RUS
ENG
Full version
JOURNALS
// Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki
// Archive
Zh. Vychisl. Mat. Mat. Fiz.,
1976
Volume 16,
Number 2,
Pages
535–536
(Mi zvmmf9290)
Scientific information
Aussagenlogik und beweisverfahren: H. Freund, P. Sorger 136 p., B. G. Teubner, Stuttgart, 1974. Book review
N. M. Nagornyi
UDC:
51.01:164(02)
Fulltext:
PDF file (320 kB)
English version:
USSR Computational Mathematics and Mathematical Physics, 1976,
16
:2,
257–258
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (320 kB)
