Ryzhkov, Anatolij Georgievich <br/><br/>
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 
<br/><br/> Contine bibliogr. - Scriere chirilica in lb. rusa 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logica matematica<br/>Algoritmi<br/>Sisteme logice
<br/><br/><label>Dewey Class. No.: </label>510.6