sebina, you, services, library, user

<<Labelled deductive systems>> 1 / Dov. M. Gabbay. - Oxford : Clarendon Press, 1996. - XIII, 497 p. ; 24 cm.

Testo a stampa (moderno) 1996