Title: Computation: finite and infinite machines
First published: 1967
Subjects: Machine theory, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Electronic data processing, Calcul automatique, Automates mathématiques, théorie des
LC classification: QA267