Title: Issledovanii︠a︡ po matematicheskoĭ lintvistike lotike i informat︠s︡ionnym i︠a︡zykam.
Authors: Bochvar, D. A.; Shreĭder, I︠U︡. A.; Issledovanii︠a︡ po matematicheskoĭ lingvistike.; Nauchnyĭ sovet po kompleksnoĭ probleme "Kibernetika" (Akademii︠a︡ nauk SSSR); Vsesoi︠u︡znyĭ institut nauchnoĭ i tekhnicheskoĭ informat︠s︡ii (Soviet Union)
Publisher: "Nauka,"
Year: 1972
Subjects: Mathematical linguistics.; Logic, Symbolic and mathematical.; Programming languages (Electronic computers)