Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Bøger - Springer - 9789400700017 - 30. november 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition

Torben Brauner

Pris
DKK 984

Bestilles fra fjernlager

Forventes klar til forsendelse 18. - 25. nov.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

Hybrid Logic and its Proof-Theory - Applied Logic Series 2011 edition

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).

244 pages, 37 black & white tables, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 30. november 2010
ISBN13 9789400700017
Forlag Springer
Antal sider 231
Mål 339 × 242 × 19 mm   ·   498 g
Sprog Engelsk  

Se alt med Torben Brauner ( f.eks. Hardcover bog og Paperback Bog )