Úvod do logické syntaxe a sémantiky /
Úvod do logickej syntaxe a sémantiky. /
Problémy sémantiky /
Základy algebry /
Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy /
Zbierka úloh z algebry /
Pererabotka nefti. Prjamaja peregonka, ...
Úvod do algebry. /
Algebra /
Prednášky z lineárnej algebry a geometrie /
Basic algebra : for future teachers /
Modern computer algebra /
Obratnaja zadača teorii rassejanija.
Linear algebra /
Počiatky analytickej filozofie a problémy jazyka /
Prjamaja i obratnaja teoremy. : Elementy algebry logiki. /