Bücher — formal systems

RU
Programmierung: Kombinatorische Logik

Programmierung: Kombinatorische Logik

A

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

Programmiersprachen
RU
Mathematische Logik und Algorithmustheorie: Lehrbuch

Mathematische Logik und Algorithmustheorie: Lehrbuch

A

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

Algorithmen und Theorie