CITATION STYLE
Lyaletski, A. (2004). On Admissible Substitutions in Classical and Intuitionistic Sequent Logics. In Intelligent Information Processing and Web Mining (pp. 49–58). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-39985-8_6
Mendeley helps you to discover research relevant for your work.