本文に飛ぶ

年 〜
年

検索結果 6 件

Collected works / L. E. J. Brouwer.

Collected works / L. E. J. Brouwer.
紙図書
North-Holland Pub. Co.1975-<MA41-101>
国立国会図書館
  • 著者標目Brouwer, L. E. J. (Luitzen Egbertus Jan) , 1881-1966. Heyting, A. (Arend) , 1898-

Intuitionism : an introduction / A. Heyting. 3rd ed. (Studies in logic and the foundations of mathematics)

Intuitionism : an introduction / A. Heyting. 3rd ed. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland Pub. Co.1971.<MA41-50>
国立国会図書館
  • 著者標目Heyting, A. (Arend) , 1898-

Intuitionism; an introduction. [2d rev. ed.] (Studies in logic and the foundations of mathematics)

Intuitionism; an introduction. [2d rev. ed.] (Studies in logic and the foundations of mathematics)
紙図書
North-Holland Pub. Co.[1966]<MA41-4>
国立国会図書館
  • 著者標目Heyting, A. (Arend) , 1898-

Axiomatic projective geometry. (Bibliotheca mathematica, a series of monographs on pure and applied mathematics, v. 5)

Axiomatic projective geometry. (Bibliotheca mathematica, a series of monographs on pure and applied mathematics, v. 5)
紙図書
P. Noordhoff[1963?]<516.57-H621a>
国立国会図書館全国の図書館
  • 著者標目Heyting, A. (Arend) , 1898-

Constructivity in mathematics; proceedings. Edited by A. Heyting. (Studies in logic and the foundations of mathematics)

Constructivity in mathematics; proceedings. Edited by A. Heyting. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland Pub. Co.1959.<510.63-I612c>
国立国会図書館
  • 著者標目..., Netherlands) Heyting, A. (Arend) , 1898-

Les fondements des mathématiques; intuitionnisme, théorie de la démonstration. [Traduction par Mme P. Fevrier]. (Collection de logique mathématique, ser. A, 9)

Les fondements des mathématiques; intuitionnisme, théorie de la démonstration. [Traduction par Mme P. Fevrier]. (Collection de logique mathématique, ser. A, 9)
紙図書
Gauthier-Villars1955.<510.1-H621f>
国立国会図書館
  • 著者標目Heyting, A. (Arend) , 1898-

検索結果は以上です。

RSS