Predstavenie autora Adrian Rezuş:

Doterajšie vydané knihy od Adrian Rezuş:

Teória svedkov: Poznámky k λ-kalkulu a logike - Witness Theory: Notes on λ-calculus and...

Táto kniha sa zaoberá matematickou analýzou koncepcie...

Súčasná logika a výpočtová technika - Contemporary Logic and Computing

Tento zväzok vznikol na základe knižného návrhu, ktorý bol približne pred dvoma rokmi...