ردهها book An Interpretation of the Intuitionistic Propositional Calculus (1933) Participants: گسترشها Kurt Gödel (1906 – 1978)