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
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
