First-Order Logic
Smullyan, Raymond M
| Autor: | Smullyan, Raymond M |
|---|---|
| Themengebiete: | Mathematics |
| Veröffentlichungsdatum: | 30.01.1995 |
| EAN: | 9780486683706 |
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Dover Publications |
Produktinformationen "First-Order Logic"
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
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