Computability and logic
Explore Computability and logic by George Boolos; Richard C. Jeffrey; George S. Boolos; John P. Burgess: 10 Hacker News mentions from 9 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XComputability and logic
10 mentions · 9 participants · 7 recommenders
Book editionFrom the conversation
Latest 10 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
This record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News…very cool! Thanks for posting this link. A very nice description of Turing machines, Abacus machines and in introduction to recursive functions can be found in the book "Computability and Logic" by Boolos, Burgess and Jeffrey.
Read on Hacker News