Formálne jazyky a automaty - Hopcroft, John E., 1939-; Rovan, Branislav; Mikulecký, Peter, 1948-; Ullman, Jeffrey D., 1942- (Bratislava : Alfa, 1978)
Obsahuje bibliografii a rejstřík
Keywords: formální logika; jazyky; počítačové jazyky; učebnice; formal logic; languages; textbooks