Ebooks de Torben Braüner en EPUB

1 Livre(s)
Télécharger le livre : Hybrid Logic and its Proof-Theory
Ajouter à ma liste d'envies
Hybrid Logic and its Proof-Theory
Torben Braüner
This 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 (where the points represent times, possible worlds, states in a computer,...

Editeur : Springer
Parution : 2010-11-17

ePub

94,94 €