- 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...
-
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****...
- Preprint. pp. 15–28. Heyting, A. (1930). "Die
formalen Regeln der
intuitionistischen Logik".
Sitzungsberichte der
Preussischen Akademie der Wissenschaften...
-
Mathematische Zeitschrift v. 39 n. 3, pp. 405–431. Kurt Gödel, 1932, "Zum
intuitionistischen Aussagenkalkül",
Anzeiger der
Akademie der
Wissenschaftischen in Wien...
- 1007/s11229-008-9422-7. S2CID 20587814.
Arend Heyting: "Die
formalen Regeln der
intuitionistischen Logik," in:
Sitzungsberichte der preußischen
Akademie der Wissenschaften...
- in Lugano, Switzerland. Heyting, A. (1930) Die
formalen Regeln der
intuitionistischen Logik. (German) 3 parts, In:
Sitzungsberichte der preußischen Akademie...
- 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...
- XVI., 6:240–244, 1992. Heyting, A. (1930), "Die
formalen Regeln der
intuitionistischen Logik. I, II, III",
Sitzungsberichte Akad. Berlin: 42–56, 57–71, 158–169...
