Formalizirovannyj i konstruktivistskij podchod k probleme istinnosti v matematičeskoj logike - Ryžkov, Anatolij Georgijevič (Saratovskij universitet, 1964)