Connectez-vous pour ajouter ce livre à votre bibliothèque.
Dov M. Gabbay
Labelled deductive systems
Clarendon press (Oxford) · 1996 · 9780198538332
