Issledovanii͡a︡ po formalizovannym i͡a︡zykam i neklassicheskim logikam
Subtitle: [sbornik stateĭ
By: otv. red. D.A. Bochvar].
Contributors: Bochvar, D. A., ed.; Vsesoi͡u︡znyĭ institut nauchnoĭ i tekhnicheskoĭ informat͡s︡ii (Soviet Union)
Publisher: Nauka
Published: 1974
Place of publication: Moskva
Language: rus
Number of pages: 274
Subjects: Formal languages.; Logic, Symbolic and mathematical.
Notes: Includes bibliographies.
At head of title: Akademii͡a︡ nauk SSSR. Gosudarstvennyĭ komitet Soveta Ministrov SSSR po nauke i tekhnike. Vsesoi͡u︡znyĭ institut nauchnoĭ i tekhnicheskoĭ informat͡s︡ii.