Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
From MaRDI portal
Publication:3613413
DOI10.1007/11814771_22zbMath1222.03061OpenAlexW1543569471MaRDI QIDQ3613413
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771_22
This page was built for publication: Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers