Increase the visibility of your scientific production by authorizing the export of your publications to HAL!

Browse by Publication

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [feed] RSS 2.0 ABES
Number of items: 1.

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

This list was generated on Thu Apr 22 19:16:02 2021 CEST.