On the relevant systemsPandP*and some related systems
Ayda I. Arruda, Newton C. A. CostaVolume:
43
Year:
1984
Language:
english
Pages:
17
Journal:
Studia Logica
DOI:
10.1007/bf00935738
File:
PDF, 874 KB
english, 1984