TY  - GEN
AU  - Ryzhkov, Anatolij Georgievich
TI  - Formalizarovannyj i konstruktivistskij podhod k probleme istinnosti v matematicheskoj logike
U1  - 510.6 
PY  - 1964///
CY  - [s. l.]
PB  - Izd.-vo Saratovskogo Universiteta
KW  - Logica matematica
KW  - Algoritmi
KW  - Sisteme logice
N1  - Contine bibliogr. - Scriere chirilica in lb. rusa
ER  -