Jump to main content

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

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...) , 1881-1966. Constructive mathematics -- Congresses. Intuitionistic mathematics --...

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996
Paper図書
Paul W. Beame, Samuel R. Buss, editorsAmerican Mathematical Societyc1998
Other Libraries in Japan

The foundational debate : complexity and constructivity in mathematics and physics

The foundational debate : complexity and constructivity in mathematics and physics
Paper図書
edited by Werner DePauli-Schimanovich, Eckehart Köhler and Friedrich StadlerKluwer Academicc1995
Other Libraries in Japan

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

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

Introduction à l'analyse constructive selon A.A. Markov : séminaire donné à Orsay en février 1972

Introduction à l'analyse constructive selon A.A. Markov : séminaire donné à Orsay en février 1972
Paper図書
M. MargensternUniversité Paris XI, U.E.R. Mathématique[1972]
Other Libraries in Japan

Reached to the end of result.

RSS