Resultados: visualización detallada
Registro 1 de 1 para la búsqueda Autor Rasga
Fibring labelled first
order based logics
Rasga, João Filipe Quintas dos Santos
2003
- Lugar de publicación Lisboa, [s.n.], 2003,
-
Datos de edición
Lisboa
[s.n.]
2003 - Tipo de Documento Libro
-
Descripción física
VIII, VII, 204 p. 30 cm
-
Descripción
Bibliografia, p. 199
-
204
Tese dout. Matemática, Univ. Técnica de Lisboa, 2003
João Filipe Quintas dos Santos Rasga -
Signatura
PURL 5466/0
PURL 5466/1
S.A. 107285 V. - Identificador 1230688
- CDU 51(043)