MMashina dokazyvaetMashina dokazyvaetde Viktor Mikhaĭlovich GlushkovMateriasSymbolic and mathematical LogicEdiciones (1)Mashina dokazyvaet (1981)Izd-vo "Znanie" · rusoMás obras de Viktor Mikhaĭlovich GlushkovAAlgebra, i︠a︡zyki, programmirovanieAlgebra, i︠a︡zyki, programmirovanieOOsnovy bezbumazhnoĭ informatikiOsnovy bezbumazhnoĭ informatikiDDiskretnye sistemy upravlenii︠a︡Diskretnye sistemy upravlenii︠a︡
SSpet︠s︡ialʹnye sredstva proektirovanii︠a︡ i modelirovanii︠a︡Spet︠s︡ialʹnye sredstva proektirovanii︠a︡ i modelirovanii︠a︡ sistem