About Technology Issues FAQ

Links

Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus — Distribution of the number of citations over years.

site/software © exaly; All materials licenced under CC by-SA.