The following pages link to (Q5801329):
Displaying 17 items.
- On the mathematical foundations of \textit{Syntactic structures} (Q438597) (← links)
- Isols and generalized Boolean algebras (Q749527) (← links)
- Ideals and their structure in classes of operational algebras (Q766975) (← links)
- An existence theorem for functionally complete universal algebras (Q770063) (← links)
- An algebraic synthesis of the foundations of logic and probability (Q1096615) (← links)
- H. B. Smith on modality: A logical reconstruction (Q1098835) (← links)
- Principio di estensionalita nel calcolo dei combinatori (Q1225044) (← links)
- The existence and construction of free iterative theories (Q1228350) (← links)
- Parking functions, valet functions and priority queues (Q1292844) (← links)
- Bijections between Łukasiewicz walks and generalized tandem walks (Q2189419) (← links)
- N-ary selection functions and formal selective systems. I (Q2541029) (← links)
- The lambda-gamma calculus: A language adequate for defining recursive functions (Q2542069) (← links)
- A semigroup in function algebra (Q2552514) (← links)
- Towards a Historical Notion of ‘Turing—the Father of Computer Science’ (Q2963951) (← links)
- On the Finiteness of Free (Universal) Algebras (Q3241257) (← links)
- Extended Canonical Systems (Q3282932) (← links)
- Quelques classes de problèmes extrémaux. II (Q5814152) (← links)
