Jump to main content

yr 〜
yr

Search results 6

Collected works / L. E. J. Brouwer.

Collected works / L. E. J. Brouwer.
Paper図書
North-Holland Pub. Co.1975-<MA41-101>
National Diet Library
  • Author HeadingBrouwer, 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)
Paper図書
North-Holland Pub. Co.1971.<MA41-50>
National Diet Library
  • Author HeadingHeyting, 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)
Paper図書
North-Holland Pub. Co.[1966]<MA41-4>
National Diet Library
  • Author HeadingHeyting, 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)
Paper図書
P. Noordhoff[1963?]<516.57-H621a>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHeyting, 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)
Paper図書
North-Holland Pub. Co.1959.<510.63-I612c>
National Diet Library
  • Author Heading..., 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)
Paper図書
Gauthier-Villars1955.<510.1-H621f>
National Diet Library
  • Author HeadingHeyting, A. (Arend) , 1898-

Reached to the end of result.

RSS