Hybrid Logic and its Proof-Theory

Name: Hybrid Logic and its Proof-Theory
Brand: Springer
SKU: 9789400734357
Price: 104.91 EUR
Availability: InStock

Автор: Torben Braüner

Език:

Корици: С меки корици

Издател: Springer

Наличност: Външен склад

Изпращаме след 5-8 дни

104.91 € 205.19 лв

Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of...

Информация за книгата

Автор

Torben Braüner

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

231

EAN

9789400734357

ISBN

9400734352

Enbook ID

01979650

Издател

Springer

Теглоt

385

Размери

154 x 15 x 239

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Hybrid Logic and its Proof-Theory

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също