On a Problem of Friedman and its Solution by Rybakov: Decidability of the Admissible Rules in Intuitionistic Propositional Logic

DSpace/Manakin Repository

 
 
See more statistics about this item