Title: Formalizirovannyĭ i konstruktivistskiĭ podkhod k probleme istinnosti v matematicheskoĭ logike
Subjects: Symbolic and mathematical Logic