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
Argitalpen urtea: 1999
Alea: 28
Zenbakia: 4
Orrialdeak: 195-206
Mota: Artikulua
ISSN: 0138-0680
Argitalpen urtea: 1999
Alea: 28
Zenbakia: 4
Orrialdeak: 195-206
Mota: Artikulua