- Lugano, Switzerland. Heyting,
Arend (1930). "Die
formalen Regeln der
intuitionistischen Logik".
Sitzungsberichte der preußischen
Akademie der Wissenschaften...
- by a
process known as Gödel numbering. In his two-page
paper Zum
intuitionistischen Aussagenkalkül (1932), Gödel re****ed the finite-valuedness of intuitionistic...
- 1016/0304-3975(87)90045-4. Gödel, Kurt (1986) [1933]. "Eine
Interpretation des
intuitionistischen Aussagenkalkiils". In Feferman, Solomon; Dawson, Jr., John W.; Kleene...
- Preprint. pp. 15–28. Heyting, A. (1930). "Die
formalen Regeln der
intuitionistischen Logik".
Sitzungsberichte der
Preussischen Akademie der Wissenschaften...
-
Oxford University Press. Heyting, A. (1930). "Die
formalen Regeln der
intuitionistischen Logik".
Sitzungsberichte der
Preussischen Akademie der Wissenschaften...
- in Logic, Elsevier, 2009
Heyting (1930). "Die
formalen Regeln der
intuitionistischen Logik". Sitz. Berlin. 42–56. Miller, D. Michael; Thornton, Mitc****...
-
Mathematische Zeitschrift v. 39 n. 3, pp. 405–431. Kurt Gödel, 1932, "Zum
intuitionistischen Aussagenkalkül",
Anzeiger der
Akademie der
Wissenschaftischen in Wien...
-
University Press. Heyting,
Arend (1930). "Die
formalen Regeln der
intuitionistischen Logik".
Sitzungsberichte der preußischen
Akademie der Wissenschaften...
- ISBN 978-0-262-01654-4. (Bergmann 2008, p. 80) Gödel, Kurt (1932). "Zum
intuitionistischen Aussagenkalkül".
Anzeiger der
Akademie der
Wissenschaften in Wien...
- ISBN 9780674324497. OCLC 749638436. Heyting,
Arend (1930). Die
formalen Regeln der
intuitionistischen Logik I, II, III.
Sitzungsberichte der
preussischen Akademie der Wissenschaften...
