Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Books - Springer - 9789400700017 - November 30, 2010
In case cover and title do not match, the title is correct

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

Torben Brauner

Price
£ 92.49
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 25 - Dec 8
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released November 30, 2010
ISBN13 9789400700017
Publishers Springer
Pages 231
Dimensions 339 × 242 × 19 mm   ·   498 g
Language English  

See all of Torben Brauner ( e.g. Hardcover Book and Paperback Book )