A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem

Autor:	Ronald Harrop
Rok vydání:	1964
Předmět:	Propositional variable Discrete mathematics Post's theorem General Mathematics Calculus Mathematics
Zdroj:	Proceedings of the London Mathematical Society. :595-617
ISSN:	0024-6115
DOI:	10.1112/plms/s3-14.4.595
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::85ab126a513f59b567e2928bd7845d2a https://doi.org/10.1112/plms/s3-14.4.595 Zobrazit plný text záznamu Plný text