Restricting the contraction axiom in dummett's lc: A sublogic of LC with the converse ackermann property, the logic LCo
ISSN: 0138-0680
Argitalpen urtea: 2001
Alea: 30
Zenbakia: 3
Orrialdeak: 139-146
Mota: Artikulua
ISSN: 0138-0680
Argitalpen urtea: 2001
Alea: 30
Zenbakia: 3
Orrialdeak: 139-146
Mota: Artikulua