Fibring labelled first-order based logics

Título: Fibring labelled first-order based logics
Data: 2003
Descrição: Monografia
Bibliografia, p. 199-204
Tese dout. Matemática, Univ. Técnica de Lisboa, 2003
Tipo: material textual, impresso
Texto policopiado]
Idioma: Inglês

Visualizar


Este item aparece na(s) seguinte(s) coleção(s)

Buscar DSpace


Busca avançada

Navegar

Minha conta