Logika, gép és matematika - Radó Ferenc (1963)