Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Hybrid Logic and its Proof-Theory

Name: Hybrid Logic and its Proof-Theory
Brand: Springer
SKU: 01978446
Price: 119.33 EUR
Availability: InStock
Author: Torben Brauner
ISBN: 9789400700017

Torben Brauner

Език

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

Книга С твърди корици

Код Либристо: 01978446

Издателство Springer, ноември 2010

This book is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is a... Цялото описание

Код Либристо: 01978446

289 b

119.33 €

233.39 лв

Външен склад в ограничено количество Изпращаме след 13-18 дни

До 30 дни за връщане на стоки

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

Blutbuch Kim de l'Horizon

С меки корици

14.34 € 28.04 лв

Lamas und Alpakas Jenny Kellett

С меки корици

18.41 € 36.01 лв

Ravensburger 24976 - 1x1 Drachen - Lernspiel für Kinder, Rechenspiel für Kinder von 7-10 Jahren, für 2-4 Spieler, Zahlenraum 1-100, kleines Einmaleins Manuel Kilger

Игра

17.95 € 35.11 лв

Baseis Manfred Hänisch

С меки корици

36.83 € 72.04 лв

MF0604 Puesta en servicio y operación de instalaciones solares térmicas Cano Pina

С меки корици

30.18 € 59.02 лв

Aprender a fuego: el sentido del sufrimiento en la obra de Flannery O'Connor Miró López

Книга

19.81 € 38.74 лв

Collection Monsieur Madame (Mr Men & Little Miss) Roger Hargreaves

С меки корици

5.67 € 11.09 лв

Le calvaire d'Héloïse Pajadou Lucien Descaves

С меки корици

29.25 € 57.20 лв

Der halbe Russ Isolde Peter

С меки корици

13.51 € 26.43 лв

IZUNAS LETIZIA

Книга

55.05 € 107.66 лв

A Complete Guide to Japanese Cuisine

С меки корици

32.03 € 62.65 лв

Giochi e passatempi per tutta la famiglia. Labirinti, quiz e test, sudoku, cruciverba

С меки корици

7.68 € 15.02 лв

I doeda teologers sallskap Henry Cöster

С меки корици

9.28 € 18.15 лв

Entwicklung der Telekommunikation in den Neuen Bundeslandern Thomas Schnöring

С меки корици

76.04 € 148.73 лв

"I'll be there for you..." Julius Brockmann

С меки корици

62.89 € 123.00 лв

schwache DAE-Strukturindex Tobias Marius Weigl

С меки корици

65.78 € 128.65 лв

My Rummy, Junior

Игра

21.82 € 42.67 лв

Was war deutsches Judentum? Christina von Braun

С твърди корици

197.96 € 387.17 лв

Pracovní listy k učebnici Putování po Evropě Alena Šotolová

С меки корици

2.32 € 4.53 лв

Cyfrowe przetwarzanie sygnalow Tomasz P. Zielinski

С твърди корици

31.11 € 60.84 лв

Dvetisíc kilometrov od Železných vrát po Devín (II., prepracované a dvakrát rozšírené vydanie) Svetozár Krno

С твърди корици

21.30 € 41.66 лв

Biblia 64 - Serviteurs du Christ à la naissance de l''Eglise Michel Gourgues

Играчка

10.67 € 20.88 лв

Wege der Übung Rudolf Steiner

С меки корици

12.94 € 25.32 лв

Le Kama Sutra Milo Manara

С твърди корици

26.72 € 52.26 лв

This book is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model. The extra expressive power is useful for many applications, for example, when reasoning about time one often wants to formulate a series of statements about what happens at specific times.§There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. The present book demonstrates that hybrid-logical proof-theory remedies this lack of uniformity in ordinary modal-logical proof systems. It considers a spectrum of different versions of hybrid logic (propositional, first-order, international first-order, and intuitionist) and of different types of proof-systems for hybrid-logic (natural deduction, Gentzen, tableaux, and axiom systems). All these systems can be motivated independently, but the fact that the systems can be given in a uniform way shows that hybrid logic and hybrid-logical proof theory is a natural enterprise.