Jump to: Book
Number of items: 1.
Book
Gasquet, Olivier, Herzig, Andreas
, Said, Bilal
and Schwarzentruber, François
(2014)
Kripke’s Worlds - An introduction to modal logics via tableaux.
Collection « Studies in Universal Logic ».
Birkhäuser Basel
ISBN 978-3-7643-8504-0