Handbook of Logic and Proof Techniques for Computer Science
Krantz, Steven G.
Produktnummer:
1876e542eabee84fa0a962bba1348d7491
| Autor: | Krantz, Steven G. |
|---|---|
| Themengebiete: | Boolean algebra algorithms complexity complexity theory computability theory logic mathematical logic model theory proof theory set theory |
| Veröffentlichungsdatum: | 23.10.2012 |
| EAN: | 9781461266198 |
| Sprache: | Englisch |
| Seitenzahl: | 245 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Birkhäuser Boston |
Produktinformationen "Handbook of Logic and Proof Techniques for Computer Science"
A concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mathematical scientist. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs a quick sketch of a key idea from logic, will find it in this self-contained, accessible, and easy-to-use reference.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen