Ordinal Computability: An Introduction to Infinitary Machines (De Gruyter Series in Logic and Its Applications, 9)
by Merlin Carl
Ordinal Computability: An Introduction to Infinitary Machines explores the relationship between computation, ordinals, and infinitary models. Positioned within mathematical logic and theoretical computer science, this volume offers an introduction to a specialized area of study and forms part of the De Gruyter Series in Logic and Its Applications.
About This Book
Ordinal Computability: An Introduction to Infinitary Machines presents an introduction to the study of computation involving ordinals and infinitary machines.
The book focuses on ordinal computability, a subject at the intersection of mathematical logic and theoretical computer science.
Its treatment centers on infinitary models of computation and the concepts needed to examine them.
This volume is part of the De Gruyter Series in Logic and Its Applications.
Reviews
No reviews yet. Be the first to review this book!