Fortæl dine venner om denne vare:
Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition
Torben Brauner
Pris
DKK 862
Bestilles fra fjernlager
Forventes klar til forsendelse 7. - 13. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition
Torben Brauner
In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).
231 pages, 37 black & white tables, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 2. januar 2013 |
| Oprindeligt udgivet | 2012 |
| ISBN13 | 9789400734357 |
| Forlag | Springer |
| Antal sider | 231 |
| Mål | 155 × 235 × 13 mm · 353 g |
| Sprog | Engelsk |
Se alt med Torben Brauner ( f.eks. Hardcover bog og Paperback Bog )