Dialogues and Proofs; Yankov’s Contribution to Proof Theory
Book chapter (November 2022)
The most recent citing publications are shown below. View all 18 publications that cite this research output on Dimensions.
Book chapter (November 2022)
Monograph (January 2017)
Article in Journal of Logic, Language and Information (February 2015)