Tous les livres numériques de la collection "Applied Logic Series" - Springer

3 Livre(s)
Télécharger le livre : Hybrid Logic and its Proof-Theory
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
Collection : Applied Logic Series ePub

94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Rigid Flexibility
Rigid Flexibility
Pei Wang
This book is the most comprehensive description of the decades-long Non-Axiomatic Reasoning System (NARS) project, including its philosophical foundation, methodological consideration, conceptual design details, implications in the related fields, and its similarities...

Editeur : Springer
Parution : 2006-09-01
Collection : Applied Logic Series PDF

210,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
F.D. Kamareddine , T. Laan , Rob Nederpelt
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since,...

Editeur : Springer
Parution : 2006-03-10
Collection : Applied Logic Series PDF

126,59 €
Téléchargement immédiat
Dès validation de votre commande