Inductive representations of Boolean functions and the finite generation of the post classes
- 1 January 1984
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 23 (1) , 1-19
- https://doi.org/10.1007/bf01979696
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)Published by Walter de Gruyter GmbH ,1942
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921