This book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by Burris Stanley N
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0132859742I3N00
Quantità: 1 disponibili
Da: Bookbot, Prague, Repubblica Ceca
Hardcover. Condizione: Fine. Abnutzung / Risse - leicht. This book provides an elementary "hands-on" presentation of important mathematical logic topics. Explores topics that are at the cutting edge of developments in computer science, while preserving the integrity of traditional logic. Stresses several self-contained proof systems of interest to mathematical logic, some more suitable than others for particular kinds of questions. For anyone interested in Computer Science or Mathematics. Codice articolo 5f567556-c27a-488b-a672-6d26fbb4efe9
Quantità: 1 disponibili
Da: Solr Books, Lincolnwood, IL, U.S.A.
Condizione: acceptable. This book is in Acceptable condition. All pages are intact, but may have lots of notes, water damage or other issues and be ex library. Codice articolo BCV.0132859742.A
Quantità: 1 disponibili
Da: Solr Books, Lincolnwood, IL, U.S.A.
Condizione: new. Codice articolo BCV.0132859742.N
Quantità: 1 disponibili