yr 〜
yr

Search results 7

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman. (Lecture notes in mathematics ; 873)

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman. (Lecture notes in mathematics ; 873)
Paper図書
Springer-Verlag1981.<MA41-199>
National Diet Library
  • Subject HeadingConstructive mathematics -- Congresses. Intuitionistic mathematics -- Congresses.

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 110)

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 110)
Paper図書
North-Holland Pub. Co.1982.<M15-A581>
National Diet Library
  • Subject Heading...-- Congresses. Intuitionistic mathematics -- Congresses.

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. (Studies in logic and the foundations of mathematics ; v. 101)

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. (Studies in logic and the foundations of mathematics ; v. 101)
Paper図書
North-Holland Pub. Co.1980.<MA41-111>
National Diet Library
  • Subject Heading...-- Congresses. Intuitionistic mathematics -- Congresses.

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley. (Studies in logic and the foundations of mathematics)

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1970.<MA41-29>
National Diet Library
  • Subject HeadingIntuitionistic mathematics -- Congresses.

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 : Berlin : New York

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 : Berlin : New York
Paper図書
edited by F. RichmanSpringer-Verlag1981
Other Libraries in Japan
  • Subject HeadingConstructive mathematics -- Congresses Intuitionistic mathematics -- Congresses
  • Subject Heading (ID)Constructive mathematics -- Congresses Intuitionistic mathematics -- Congresses

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
Paper図書
edited by A.S. Troelstra and D. van DalenNorth-Holland1982
Other Libraries in Japan
  • Subject Heading... -- Congresses Intuitionistic mathematics -- Congresses Brouwer, L. E. J. (Luitzen Eg...
  • Subject Heading (ID)... -- Congresses Intuitionistic mathematics -- Congresses Brouwer, L. E. J. (Luitzen Eg...

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Paper図書
edited by Jon Barwise, H. Jerome Keisler, Kenneth KunenNorth-Holland Pub. Co.1980
Other Libraries in Japan
  • Subject HeadingRecursion theory -- Congresses Intuitionistic mathematics -- Congresses Kleene, Stephen Cole, 1909-
  • Subject Heading (ID)Recursion theory -- Congresses Intuitionistic mathematics -- Congresses Kleene, Stephen Cole, 1909-

Reached to the end of result.