Cristian S. Calude, Elena Calude, Michael J. Dinneen
Developments in Language Theory
- 2005
978-3-540-30550-7
Computation by Abstract Devices Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematics