The Post-Lineal theorems for arbitrary recursively enumerable degree of unsolvability

DOI10.1305/ndjfl/1093958077zbMath0132.24801OpenAlexW1987948604MaRDI QIDQ2395470

A. H. Ihrig

Publication date: 1965

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093958077

zbMATH Keywords

mathematical logic

Related Items (1)

Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi

This page was built for publication: The Post-Lineal theorems for arbitrary recursively enumerable degree of unsolvability