Kripke's Worlds: An Introduction to Modal Logics via Tableaux [ Livre] / Olivier, Gasquet / Andreas, Herzig / Bilal, Said / Francois, Schwarzentruber

Auteur principal: Gasquet, OlivierCo-auteur: Herzig, Andreas;Said, Bilal;Schwarzentruber, FrancoisLangue: 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 temporelles
Current 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

Powered by Koha