Kripke's Worlds: An Introduction to Modal Logics via Tableaux [ Livre] / Olivier, Gasquet / Andreas, Herzig / Bilal, Said / Francois, Schwarzentruber
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Heidelberg : Springer Basel, 2014Description : 213 pagesISBN: 9783764385033.Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Logique | Logiques temporellesCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 GAS (Browse shelf) | Available | F 4 1 Logique mathématique | 029675 | |
ENS Rennes - Bibliothèque Informatique | F 4 1 GAS (Browse shelf) | Available | F 4 1 Logique mathématique | 029676 |