The Ackermann constant theorem: A computer-assisted investigation
From MaRDI portal
Publication:1181706
DOI10.1007/BF01880324zbMath0743.03015MaRDI QIDQ1181706
Publication date: 27 June 1992
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items
Cites Work