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