Introduction to mathematical machine theory - Ginsburg Seymour (London Addison Wesley Pub., 1962)
Keywords: Machine theory; Mathematical logic