The following pages link to (Q5801329):
Displaying 27 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)
- (Q4094351) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Formulae for well formed formulae and their enumeration (Q4774083) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Regular canonical systems (Q5338328) (← links)
- Functional Composition Patterns and Power Series Reversion (Q5339315) (← links)
- Zur Stufenreduktion von Kalkülen (Q5541307) (← links)
- Canonical systems which produce periodic sets (Q5582344) (← links)
- Quelques classes de problèmes extrémaux. II (Q5814152) (← links)
- Remarks on the modal logic of Henry Bradford Smith (Q5928927) (← links)
