Title: Computation theory and logic
Subjects: Machine theory, Computational complexity, Complexitat de càlcul (Informàtica), Théorie des automates, Complexité de calcul (Informatique), Symbolic and mathematical Logic, Automates mathématiques, Théorie des