Die formalen Regeln der intuitionistischen Logik. I, II, III. JFM 56.0823.01
Heyting, A. |
|
1930
|
Intuitionism. An introduction. Zbl 0070.00801
Heyting, A. |
|
1956
|
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
|
|
1983
|
Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021
Brouwer, L. E. J. |
|
1975
|
Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01
Heyting, A. |
|
1931
|
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A. |
|
1971
|
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501
Heyting, A. |
|
1934
|
Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. JFM 53.0120.01
Heyting, A. |
|
1927
|
Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01
Heyting, A. |
|
1927
|
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01
Heyting, A. |
|
1934
|
Intuitionism. An introduction. Zbl 0125.00510
Heyting, A. |
|
1965
|
Axiomatic projective geometry. Zbl 0114.12601
Heyting, A. |
|
1963
|
Blick von der intuitionistischen Warte. Zbl 0089.24502
Heyting, A. |
|
1958
|
Axioms for intuitionistic plane affine geometry. Zbl 0092.25002
Heyting, A. |
|
1959
|
Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06
Heyting, A. |
|
1925
|
Sur la logique intuitionniste. JFM 56.0045.02
Heyting, A. |
|
1930
|
Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701
|
|
1959
|
After thirty years. Zbl 0166.24702
Heyting, A. |
|
1962
|
Intuitionistic views on the nature of mathematics. Zbl 0315.02010
Heyting, Arend |
|
1974
|
Axiomatic projective geometry. 2nd ed. Zbl 0454.51001
Heyting, A. |
|
1980
|
Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006
Heyting, A. |
|
1955
|
On weakened quantification. Zbl 0063.02004
Heyting, A. |
|
1946
|
Some remarks on intuitionism. Zbl 0085.25003
Heyting, A. |
|
1959
|
Infinitistic methods from a finitist point of view. Zbl 0116.00801
Heyting, A. |
|
1961
|
Untersuchungen über intuitionistische Algebra. Zbl 0027.15303
Heyting, A. |
|
1941
|
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002
Heyting, A. |
|
1974
|
Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102
Heyting, Arend |
|
1931
|
De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01
Heyting, A. |
|
1929
|
Intuitionistic views on the nature of mathematics. Zbl 0317.02007
Heyting, Arend |
|
1974
|
Note on the Riesz-Fischer theorem. Zbl 0043.29101
Heyting, A. |
|
1951
|
Logique et intuitionisme. Zbl 0057.00704
Heyting, A. |
|
1954
|
Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406
Heyting, A. |
|
1953
|
Espace de Hilbert et intuitionisme. Zbl 0053.00701
Heyting, A. |
|
1953
|
A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01
Heyting, A. |
|
1932
|
Was ist berechenbar? Zbl 0185.01901
Heyting, A. |
|
1969
|
History of the foundation of mathematics. Zbl 0412.01012
Heyting, A. |
|
1978
|
Sur la théorie intuitionniste de la mesure. Zbl 0057.04404
Heyting, A. |
|
1954
|
Intuitionismus und Schulmathematik. Zbl 0077.00211
Heyting, A. |
|
1957
|
Intuitionistische wiskunde. III. JFM 62.0029.02
Heyting, A. |
|
1936
|
La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802
Heyting, A. |
|
1958
|
Technische vaardigheid. JFM 52.0063.02
Heyting, A. |
|
1926
|
On intuitionism. Zbl 0229.02008
Heyting, A. |
|
1972
|
Untersuchungen über intuitionistische Algebra. JFM 67.0045.04
Heyting, A. |
|
1941
|
Sur la logique intuitionniste. JFM 59.0056.03
Heyting, A.; Barzin, M.; Errera, A. |
|
1932
|
Die intuitionistische Mathematik. JFM 57.1323.22
Heyting, A. |
|
1931
|
Intuitionistische wiskunde. JFM 61.0048.02
Heyting, A. |
|
1935
|
Continuum and choice by Brouwer. Zbl 0486.03031
Heyting, A. |
|
1981
|
The intuitionist foundations of mathematics. Zbl 0945.03517
Heyting, Arend |
|
1996
|
In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703
Heyting, Arend |
|
1966
|
Axiomatic method and intuitionism. Zbl 0163.24401
Heyting, A. |
|
1962
|
Recent progress in intuitionistic analysis. Zbl 0203.29604
Heyting, A. |
|
1970
|
Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101
Heyting, A. |
|
1966
|
The intuitionist foundations of mathematics. Zbl 0945.03517
Heyting, Arend |
|
1996
|
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
|
|
1983
|
Continuum and choice by Brouwer. Zbl 0486.03031
Heyting, A. |
|
1981
|
Axiomatic projective geometry. 2nd ed. Zbl 0454.51001
Heyting, A. |
|
1980
|
History of the foundation of mathematics. Zbl 0412.01012
Heyting, A. |
|
1978
|
Collected works. Vol. 1: Philosophy and foundations of mathematics. Zbl 0311.01021
Brouwer, L. E. J. |
|
1975
|
Intuitionistic views on the nature of mathematics. Zbl 0315.02010
Heyting, Arend |
|
1974
|
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Reprint. Zbl 0278.02002
Heyting, A. |
|
1974
|
Intuitionistic views on the nature of mathematics. Zbl 0317.02007
Heyting, Arend |
|
1974
|
On intuitionism. Zbl 0229.02008
Heyting, A. |
|
1972
|
Intuitionism. An introduction. 3rd revised ed. Zbl 0219.02013
Heyting, A. |
|
1971
|
Recent progress in intuitionistic analysis. Zbl 0203.29604
Heyting, A. |
|
1970
|
Was ist berechenbar? Zbl 0185.01901
Heyting, A. |
|
1969
|
In memoriam Evert Willem Beth (1909–1964). Zbl 0159.00703
Heyting, Arend |
|
1966
|
Remarques sur la théorie intuitionniste des espaces linéaires. Zbl 0192.03101
Heyting, A. |
|
1966
|
Intuitionism. An introduction. Zbl 0125.00510
Heyting, A. |
|
1965
|
Axiomatic projective geometry. Zbl 0114.12601
Heyting, A. |
|
1963
|
After thirty years. Zbl 0166.24702
Heyting, A. |
|
1962
|
Axiomatic method and intuitionism. Zbl 0163.24401
Heyting, A. |
|
1962
|
Infinitistic methods from a finitist point of view. Zbl 0116.00801
Heyting, A. |
|
1961
|
Axioms for intuitionistic plane affine geometry. Zbl 0092.25002
Heyting, A. |
|
1959
|
Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957. Zbl 0086.00701
|
|
1959
|
Some remarks on intuitionism. Zbl 0085.25003
Heyting, A. |
|
1959
|
Blick von der intuitionistischen Warte. Zbl 0089.24502
Heyting, A. |
|
1958
|
La théorie élémentaire de l’intégration en mathématiques intuitionnistes. Zbl 0088.24802
Heyting, A. |
|
1958
|
Intuitionismus und Schulmathematik. Zbl 0077.00211
Heyting, A. |
|
1957
|
Intuitionism. An introduction. Zbl 0070.00801
Heyting, A. |
|
1956
|
Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Zbl 0066.01006
Heyting, A. |
|
1955
|
Logique et intuitionisme. Zbl 0057.00704
Heyting, A. |
|
1954
|
Sur la théorie intuitionniste de la mesure. Zbl 0057.04404
Heyting, A. |
|
1954
|
Sur la tâche de la philosophie des mathématiques. Zbl 0051.24406
Heyting, A. |
|
1953
|
Espace de Hilbert et intuitionisme. Zbl 0053.00701
Heyting, A. |
|
1953
|
Note on the Riesz-Fischer theorem. Zbl 0043.29101
Heyting, A. |
|
1951
|
On weakened quantification. Zbl 0063.02004
Heyting, A. |
|
1946
|
Untersuchungen über intuitionistische Algebra. Zbl 0027.15303
Heyting, A. |
|
1941
|
Untersuchungen über intuitionistische Algebra. JFM 67.0045.04
Heyting, A. |
|
1941
|
Intuitionistische wiskunde. III. JFM 62.0029.02
Heyting, A. |
|
1936
|
Intuitionistische wiskunde. JFM 61.0048.02
Heyting, A. |
|
1935
|
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Zbl 0009.38501
Heyting, A. |
|
1934
|
Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. JFM 60.0019.01
Heyting, A. |
|
1934
|
A propos d’un article de MM. Barzin et Errera. JFM 59.0056.01
Heyting, A. |
|
1932
|
Sur la logique intuitionniste. JFM 59.0056.03
Heyting, A.; Barzin, M.; Errera, A. |
|
1932
|
Die intuitionistische Grundlegung der Mathematik. JFM 57.0053.01
Heyting, A. |
|
1931
|
Die intuitionistische Grundlegung der Mathematik. Zbl 0002.32102
Heyting, Arend |
|
1931
|
Die intuitionistische Mathematik. JFM 57.1323.22
Heyting, A. |
|
1931
|
Die formalen Regeln der intuitionistischen Logik. I, II, III. JFM 56.0823.01
Heyting, A. |
|
1930
|
Sur la logique intuitionniste. JFM 56.0045.02
Heyting, A. |
|
1930
|
De telbaarheidspraedicaten van Prof. Brouwer. JFM 55.0052.01
Heyting, A. |
|
1929
|
Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. JFM 53.0120.01
Heyting, A. |
|
1927
|
Zur intuitionistischen Axiomatik der projektiven Geometrie. JFM 53.0541.01
Heyting, A. |
|
1927
|
Technische vaardigheid. JFM 52.0063.02
Heyting, A. |
|
1926
|
Intuitionistische axiomatiek der projektieve meetkunde. JFM 51.0436.06
Heyting, A. |
|
1925
|