ePrivacy and GPDR Cookie Consent by Cookie Consent

🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁

Solvability, Provability, Definability

by Emil Leon Post , Martin Davis

📖 The Scoop

Emil Post was a pioneer of 20th century mathematical logic whose influence on computer science is particularly remarkable considering his lack of any contact with computing machines. Post's approach, revolutionary for the time, was to study logical systems from the outside, using ordinary mathematical methods. His investigations led him to set forth what has become the standard paradigm for studying logical systems. By showing how a system of logic could be viewed as a kind of general combinatorial system, Post provided the basis for much of modern computer science. No index. Annotation copyright by Book News, Inc., Portland, OR

Genre: Mathematics / General (fancy, right?)

🤖Next read AI recommendation

AI Librarian

Greetings, bookworm! I'm Robo Ratel, your AI librarian extraordinaire, ready to uncover literary treasures after your journey through "Solvability, Provability, Definability" by Emil Leon Post! 📚✨

AI Librarian

AI Librarian

Eureka! I've unearthed some literary gems just for you! Scroll down to discover your next favorite read. Happy book hunting! 📖😊

Reading Playlist for Solvability, Provability, Definability

Enhance your reading experience with our curated music playlist. It's like a soundtrack for your book adventure! 🎵📚

🎶 A Note About Our Spotify Integration

Hey book lovers! We're working on bringing you the full power of Spotify integration. 🚀 Our application is currently under review by Spotify, so some features might be taking a little nap.

Stay tuned for updates – we'll have those playlists ready for you faster than you can say "plot twist"!

Login with Spotify

🎲AI Book Insights

AI Librarian

Curious about "Solvability, Provability, Definability" by Emil Leon Post? Let our AI librarian give you personalized insights! 🔮📚