Covers: Open Library
Track this book
You choose which shelves are public. Progress and read dates stay yours.
Rating integrity
HealthyNo ratings yet. Scores only count accounts older than 7 days and ratings made after publication; read-verified ratings weigh double.
Mood & pace · catalogue tags
Pace: mediumMedium length
LogicFrames (Information theory)Automatic theorem provingSymbolic and mathematical LogicLogic programmingCongressesComputer science
Content notes
No content notes reported yet.