Úvod do teorie počítačů 1979
PC literatura Učebnice a slovníky Matematika a logika
Rajlich je 0x v oblíbených.