Canonical Gentzen-type calculi with (n,k)-ary quantifiers
- Anna Zamansky*
- , Arnon Avron
*Corresponding author for this work
- Tel Aviv University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2
Scopus
citations