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
Année de publication: 1999
Volumen: 28
Número: 4
Pages: 195-206
Type: Article
Revue:
Bulletin of the Section of Logic