Blacklight

Hybrid logic and its proof-theory

Auteur :
Bräuner Torben
Publication :
Dordrecht : Springer Science+Business Media B.V. : Springer e-books, 2011
Collection :
Applied Logic Series
Mathematics and Statistics
Note :
Numerisation de l'édition de : New York : Springer Science+Business Media, LLC et Springer e-books, 2011
Bibliogr. Index
URL :
Disponible en ligne
ISBN :
978-94-0070002-4
Langue :
anglais
Type de document :
Ressource électronique
Thèmes :
Théorie de la démonstration
Philosophy (General)
Logic
Computer science
Logic, Symbolic and mathematical
Philosophy
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations