Source: Eksāmena jautājumi (www.ltn.lv/~karlisc/StudKursi/DatZPamati/Eksamens.htm) - Google, 2009.04.24
Lambda rēķini
Lambda calculus
Simboliskā un matemātiskā loģika
Logic, Symbolic and mathematical