Introduction to computation theory - Hamlet Richard G (N Y Intext Educational Publishers, 1974)
Keywords: Computation theory; Mathematical logic