Dokazatelʹstvo i ego poisk
Subtitle: kurs logiki i kompʹi͡u︡ternyĭ praktikum
By: [avtory, Smirnov V.A. ... et al. ; otvetstvennyĭ redaktor V.A. Smirnov].
Contributors: Smirnov, V. A.
Series: Serii͡a︡ "Kibernetika, neogranichennye vozmozhnosti i vozmozhnye ogranichenii͡a︡"; Logika i kompʹi͡u︡ter ;; 3; Logika i kompʹi͡u︡ter ;; Vyp. 3.
Publisher: "Nauka"
Published: 1996
Place of publication: Moskva
Language: rus
Number of pages: 254
Subjects: DEDUCTIO (Computer program language); Programming languages (Electronic computers) -- Semantics.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.
At head of title: Akademii͡a︡ nauk SSSR.