N-ary selection functions and formal selective systems. I

DOI10.1007/BF02576888zbMath0202.29503MaRDI QIDQ2541029

A. Caracciolo di Forino

Publication date: 1964

Published in: Calcolo (Search for Journal in Brave)

Related Items (1)

PANON-1B: A programming language for symbol manipulation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Functional completeness and canonical forms in many-valued logics¹
• A theorem concerning the composition of functions of several variables ranging over a finite set
• The Sheffer functions of 3-valued logic
• Post Algebras. I. Postulates and General Theory
• Axiom schemes for m-valued propositions calculi

This page was built for publication: N-ary selection functions and formal selective systems. I