معرفی و ارزیابی کتاب

Computability and Logic Boolos

Andrea Sorbi (eds.)

Welcome to the introduction of the seminal work, "Computability and Logic" by George Boolos, a book that has profoundly influenced the fields of computer science, mathematics, and logic. Known for blending classic and modern theories, this text offers deep insights into the t