D. Gries and F. B. Schneider. A Logical Approach to Discrete Math. Springer-Verlag, New York, 1994. A. Grzegorczyk. Some classes of recursive functions. Rozprawy Matematyczne, 4: 1-45, 1953. H. Müller.
This book presents the foundations of theoretical computer science in a format accessible to undergraduate computer science students. Designed to serve as a text for a one-semester introductory course in...
The book contains an invaluable collection of lectures for first-year graduates on the theory of computation. Topics and features include more than 40 lectures for first year graduate students, and a dozen homework sets and exercises.
The book is meant for a wide range of students doing their undergraduation and postgraduation courses related to Computer Science.
This book is designed to be the basis of a one- or two-term introductory course in the theory of computation, concentrating on the fundamental models for languages and computation together...
Theory of Computation is designed to serve as a textbook for undergraduate students of Computer Science & Engineering, Computer Applications, and Information Technology.