Jump to main content

yr 〜
yr

Search results 25

Philosophy and foundations of mathematics : pbk

Philosophy and foundations of mathematics : pbk
Paper図書
edited by A. Heyting[s.n.][2015], c1975
Other Libraries in Japan
  • Author HeadingBrouwer, L. E. J. (Luitzen Egbertus Jan) Heyting, A. (Arend)

Mathematical logic

Mathematical logic
Paper図書
edited by Petio Petrov PetkovPlenum Pressc1990
Other Libraries in Japan
  • Author HeadingSummer School and Conference on Mathematical Logic Petkov, Petio Petrov Heyting, A. (Arend)

Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2

Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2
Paper図書
A.S. Troelstra, D. van DalenNorth-Holland1988
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk) Heyting, A. (Arend)

Axiomatic projective geometry 2d ed

Axiomatic projective geometry 2d ed
Paper図書
by A. HeytingP. Noordhoff1980
Other Libraries in Japan
  • Author HeadingHeyting, A. (Arend)

Philosophy and foundations of mathematics : North-Holland : American Elsevier

Philosophy and foundations of mathematics : North-Holland : American Elsevier
Paper図書
edited by A. HeytingNorth-Holland Pub. Co.1975
Other Libraries in Japan
  • Author HeadingBrouwer, L. E. J. (Luitzen Egbertus Jan) Heyting, A. (Arend)

Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie : gw : us

Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie : gw : us
Paper図書
von A. HeytingSpringer-Verlag1974
Other Libraries in Japan
  • Author HeadingHeyting, A. (Arend)

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 3rd rev. ed

Intuitionism : An introduction 3rd rev. ed
Paper図書
[By] A. HeytingNorth-Holland1971
Other Libraries in Japan
  • Author HeadingHeyting, A. (Arend)

Intuitionism : An introduction 2nd rev. ed.

Intuitionism : An introduction 2nd rev. ed.
Paper図書
A. HeytingNorth-Holland Pub. Co.1966
Other Libraries in Japan
  • Author HeadingHeyting, A. (Arend)

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-

Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday

Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday
Paper図書
Wolters-Noordhoff1968
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Addresses, essays, lectures Heyting, A. (Arend), 1898-
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Addresses, essays, lectures Heyting, A. (Arend), 1898-
  • Author HeadingHeyting, A. (Arend) Dalen, D. van (Dirk) Scott, D...

Projectieve meetkunde

Projectieve meetkunde
Paper図書
door A. HeytingP. Noordhoff[1964?]
Other Libraries in Japan
  • Author HeadingHeyting, A. (Arend)

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 of the colloquium held at Amsterdam, 1957

Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Paper図書
edited by A. HeytingNorth-Holland Publishing Co.1959
Other Libraries in Japan
  • Author HeadingInternational Colloquium "Constructivity in Mathematics" Heyting, A. (Arend)

Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957

Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Paper図書
ed. by A. HeytingUT Back-in-Print Service1959
Other Libraries in Japan
  • Author HeadingInternational Colloquium "Constructivity in Mathematics" Heyting, A. (Arend)

Intuitionism : an introduction

Intuitionism : an introduction
Paper図書
A. HeytingNorth-Holland Publishing Co.1956
Other Libraries in Japan
  • Author HeadingHeyting, A. (Arend)

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

Les fondements des mathématiques : intuitionnisme théorie de la démonstration
Paper図書
par A. HeytingGauthier-Villars1955
Other Libraries in Japan
  • Author HeadingHeyting, A. (Arend)

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-
RSS