Livros — formal systems

RU
Programação: Lógica Combinatória

Programação: Lógica Combinatória

A

И. А. Кудрявцева, М. В. Швецкий

Linguagens de programação
RU
Lógica Matemática e Teoria dos Algoritmos: manual didático

Lógica Matemática e Teoria dos Algoritmos: manual didático

A

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

Algoritmos e teoria