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

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

Price
$ 105.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

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:

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  

Mere med samme udgiver

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