Korsakov, Sergey Nikolaevich From the history of the renaissance of logic in the USSR in 1941–1946. II. (Russian. English summary) Zbl 1370.97001 Log. Issled. 22, No. 1, 145-170 (2016). Reviewer: Jim Mackenzie (Sydney) MSC: 97-03 01A60 97E30 03-03 PDF BibTeX XML Cite \textit{S. N. Korsakov}, Log. Issled. 22, No. 1, 145--170 (2016; Zbl 1370.97001)
Korsakov, Sergeĭ Nikolaevich From the history of the renaissance of logic in the USSR in 1941–1946. I. (Russian. English summary) Zbl 1341.97004 Log. Issled. 21, No. 2, 145-169 (2015). MSC: 97-03 97E30 01A60 97A30 03-03 PDF BibTeX XML Cite \textit{S. N. Korsakov}, Log. Issled. 21, No. 2, 145--169 (2015; Zbl 1341.97004)