Emil Leon Post

1897 – 1954

• The two-valued iterative systems of mathematical logic
• Introduction to a general theory of elementary propositions
• Solvability, provability, definability
• The TwoValued Iterative Systems of Mathematical Logic Am5 Annals of Mathematics Studies Paperback
• Generalized differentiation
• The generalized gamma functions