Exhaustively Axiomatizing RMO→ with a select list of representative theses including restricted mingle principles
- Salto, F.
- Robles, G.
- Méndez, J.M.
ISSN: 0138-0680
Ano de publicación: 1999
Volume: 28
Número: 4
Páxinas: 195-206
Tipo: Artigo
ISSN: 0138-0680
Ano de publicación: 1999
Volume: 28
Número: 4
Páxinas: 195-206
Tipo: Artigo