Formalizirovannyĭ i konstruktivistskiĭ podkhod k probleme istinnosti v matematicheskoĭ logike
Publisher: Izd-vo Saratovskogo univ.
Published: 1964
Place of publication: Saratov
Language: rus
Number of pages: 26
Subjects: Symbolic and mathematical Logic
Notes: At head of title: A.G. Ryzhkov.