Hybrid Logic and its Proof-Theory - Applied Logic Series - Torben Brauner - Books - Springer - 9789400734357 - January 2, 2013
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
$ 108.49
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 27 - Nov 6

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

231 pages, 37 black & white tables, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 2, 2013
Original release date 2012
ISBN13 9789400734357
Publishers Springer
Pages 231
Dimensions 155 × 235 × 13 mm   ·   353 g
Language English  

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