Computability and logic /

Autor Cohen, Daniel E., 1934-
Vydáno 1987

Issledovanija po matematičeskoj logike i teorii algoritmov /

Vydáno 1975

Logika, automaty a algoritmy /

Autor Ajzerman, Mark Aronovič, 1913-1992
Vydáno 1971

Teorija rekursivnych funkcij i effektivnaja vyčislimost' /

Autor Rogers, Hartley, 1926-
Vydáno 1972

Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov /

Autor Lavrov, Igor' Andrejevič, Maksimova, Larisa L'vovna
Vydáno 1984

Různá zadání rekursivních funkcí

Autor Man, Vlastislav
Vydáno 1970

Rozhodování pravdivosti ve VDP

Autor Strouhal, Luděk
Vydáno 1985