Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Bøker - Springer - 9789400734357 - 2. januar 2013
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Torben Brauner

Pris
NOK 1.089

Bestillingsvarer

Forventes levert 26. nov - 4. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 2. januar 2013
Opprinelig utgitt 2012
ISBN13 9789400734357
Utgivere Springer
Antall sider 231
Mål 155 × 235 × 13 mm   ·   353 g
Språk Engelsk  

Se alt med Torben Brauner ( f.eks. Innbunden bok og Pocketbok )