scientific article; zbMATH DE number 3062117
From MaRDI portal
Publication:5801329
zbMATH Open0041.14804MaRDI QIDQ5801329FDOQ5801329
Author name not available (Why is that?)
Publication date: 1950
Title of this publication is not available (Why is that?)
Cited In (27)
- Remarks on the modal logic of Henry Bradford Smith
- On the Finiteness of Free (Universal) Algebras
- Formulae for well formed formulae and their enumeration
- Functional Composition Patterns and Power Series Reversion
- H. B. Smith on modality: A logical reconstruction
- Canonical systems which produce periodic sets
- Extended Canonical Systems
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- On the mathematical foundations of \textit{Syntactic structures}
- Bijections between Łukasiewicz walks and generalized tandem walks
- Parking functions, valet functions and priority queues
- An algebraic synthesis of the foundations of logic and probability
- Regular canonical systems
- The existence and construction of free iterative theories
- Isols and generalized Boolean algebras
- Title not available (Why is that?)
- A Logical Autobiography
- Ideals and their structure in classes of operational algebras
- An existence theorem for functionally complete universal algebras
- Conceptual Confluence in 1936: Post and Turing
- Quelques classes de problèmes extrémaux. II
- Towards a Historical Notion of ‘Turing—the Father of Computer Science’
- N-ary selection functions and formal selective systems. I
- The lambda-gamma calculus: A language adequate for defining recursive functions
- Zur Stufenreduktion von Kalkülen
- A semigroup in function algebra
- Principio di estensionalita nel calcolo dei combinatori
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5801329)
