Obecné úvahy o matematice logic logika matematická logika mathematical logic Logika logic puzzles logické hádanky Gödel, Kurt, Počítačová věda. Výpočetní technika. Informační technologie logical thinking logické myšlení matematika mathematics Deskové a stolní hry, logické hry, hry zručnosti First-order logic Matematika Teorie poznání. Epistemologie Teorie čísel Vyšší duševní procesy computatinal methods computational methods computer science continuum hypothesis didaktické hry educational games hypotéza kontinua logic programming logické programování matematické hry