A detailed argument for the Post-Linial theorems
From MaRDI portal
Publication:2530930
DOI10.1305/ndjfl/1093957737zbMath0168.25604OpenAlexW2079852767MaRDI QIDQ2530930
Publication date: 1964
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093957737
Related Items
A note on finite axiomatization of partial propositional calculi, The equivalence of some general combinatorial decision problems, A complex of problems proposed by Post, Alfred Tarski and undecidable theories, Unnamed Item, Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi, Translations and structure for partial propositional calculi
