A detailed argument for the Post-Linial theorems

From MaRDI portal

Revision as of 04:41, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2530930

Jump to:navigation, search

DOI10.1305/NDJFL/1093957737zbMath0168.25604OpenAlexW2079852767MaRDI QIDQ2530930

M. K. Yntema

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (7)

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

This page was built for publication: A detailed argument for the Post-Linial theorems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2530930&oldid=15259869"