Austrian Post 5.99 DPD courier 6.49 GLS courier 4.49

Hybrid Logic and its Proof-Theory

Language EnglishEnglish
Book Paperback
Book Hybrid Logic and its Proof-Theory Torben Braüner
Libristo code: 01979650
Publishers Springer, December 2012
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of... Full description
? points 317 b
134.22 včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy


You might also be interested in


Histoire Naturelle. Insectes. Tome 5 Olivier-G-A / Paperback
common.buy 55.65
Hunchback in Hellenistic and Roman Art Lisa Trentin / Hardback
common.buy 234.31
Degeneration Internet Frank Sorge / Paperback
common.buy 5.35
Personalgewinnung Magdalena Rozwadowski / Paperback
common.buy 32.01

Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

About the book

Full name Hybrid Logic and its Proof-Theory
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 231
EAN 9789400734357
ISBN 9400734352
Libristo code 01979650
Publishers Springer
Weight 385
Dimensions 154 x 15 x 239
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account