Formalizarovannyj i konstruktivistskij podhod k probleme istinnosti v matematicheskoj logike
Ryzhkov, Anatolij Georgievich
Formalizarovannyj i konstruktivistskij podhod k probleme istinnosti v matematicheskoj logike A. G. Ryzhkov - [s. l.] Izd.-vo Saratovskogo Universiteta 1964 - 28 p tab 20 cm
Contine bibliogr. - Scriere chirilica in lb. rusa
Logica matematica
Algoritmi
Sisteme logice
510.6
Formalizarovannyj i konstruktivistskij podhod k probleme istinnosti v matematicheskoj logike A. G. Ryzhkov - [s. l.] Izd.-vo Saratovskogo Universiteta 1964 - 28 p tab 20 cm
Contine bibliogr. - Scriere chirilica in lb. rusa
Logica matematica
Algoritmi
Sisteme logice
510.6