MFI'03 : modèles formels de l'interaction. Actes des Secondes Journées Francophones; Lille, Mai 2003Andreas Herzig, Brahim Chaib-draa, Philippe Mathieu, Collectif45,00 €
Kripke's Worlds. An Introduction to Modal Logics via TableauxOlivier Gasquet, Andreas Herzig, Bilal Said, François SchwarzentruberGrand Format90,94 €