Traducción de la lógica KTC a MSL

Éditorial: [s.l] : José Manuel Méndez Rodríguez, D.L. 2006 (Salamanca : Idem)

ISBN: 84-690-0408-5

Année de publication: 2006

Pages: 157-182

Type: Chapitre d'ouvrage