Бирюков Б. В. Трудные времена философии : логика и философия в первые послесталинские годы, математическая логика. Кн. 1 / Б. В. Бирюков ; Русская ассоц. чтения. - Москва : Ленанд, 2014. - 267 с. - ( Наука в СССР: Через тернии к звездам ;№ 27: )