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