N-Ary selection functions and formal selective systems. Part I
- 1 March 1964
- journal article
- Published by Springer Nature in Calcolo
- Vol. 1 (1) , 49-82
- https://doi.org/10.1007/bf02576888
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963
- Functional completeness and canonical forms in many-valued logics1The Journal of Symbolic Logic, 1962
- A theorem concerning the composition of functions of several variables ranging over a finite setThe Journal of Symbolic Logic, 1960
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960
- The Sheffer functions of 3-valued logicThe Journal of Symbolic Logic, 1954
- Axiom schemes for m-valued propositions calculiThe Journal of Symbolic Logic, 1945
- Post Algebras. I. Postulates and General TheoryAmerican Journal of Mathematics, 1942
- Definition of Post's Generalized Negative and Maximum in Terms of One Binary OperationAmerican Journal of Mathematics, 1936
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921