Jump to main content

yr 〜
yr

Search results 59

Handbook of constructive mathematics : hardback

Handbook of constructive mathematics : hardback
Paper図書
edited by Douglas Bridges ... [et al.]Cambridge University Press2023
Other Libraries in Japan

Foundations of constructive probability theory : hardback

Foundations of constructive probability theory : hardback
Paper図書
Yuen-Kwok ChanCambridge University Press2021
Other Libraries in Japan

Fine structure and iteration trees hbk.

Fine structure and iteration trees hbk.
Paper図書
William J. Mitchell, John R. SteelAssociation for Symbolic Logicc2016
Other Libraries in Japan

Foundations of algorithms : pbk 5th ed.

Foundations of algorithms : pbk 5th ed.
Paper図書
Richard E. NeapolitanJones & Bartlett Learningc2015
Other Libraries in Japan

Formal Topology における Bishop のコンパクト性

Formal Topology における Bishop のコンパクト性
Digital博士論文障害者向け資料あり
河井, 達治2015-03
National Diet Library

Foundations of algorithms 4th ed

Foundations of algorithms 4th ed
Paper図書
Richard Neapoltian, Kumarss NaimipourJones and Bartlett Publishersc2011
Other Libraries in Japan

Apartness and uniformity : a constructive development

Apartness and uniformity : a constructive development
Paper図書
Douglas S. Bridges, Luminiţa Simona VîţăSpringerc2011
Other Libraries in Japan

Constructive physics : hardcover

Constructive physics : hardcover
Paper図書
Y.I. OzhigovNova Science Publishersc2011
Other Libraries in Japan

Constructive adpositional grammars : foundations of constructive linguistics

Constructive adpositional grammars : foundations of constructive linguistics
Paper図書
by Federico Gobbo and Marco BeniniCambridge Scholars2011
Other Libraries in Japan

Phenomenology, logic and the philosophy of mathematics pbk

Phenomenology, logic and the philosophy of mathematics pbk
Paper図書
Richard TieszenCambridge University Press2009
Other Libraries in Japan

Essays in constructive mathematics

Essays in constructive mathematics
Paper図書
Harold M. EdwardsSpringerc2005
Other Libraries in Japan

Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)

Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)
Paper図書
Cambridge University Press1995.<MA41-A97>
National Diet LibraryOther Libraries in Japan
  • Subject Heading数学基礎論. 計算量理論. Constructive mathematics. Proposition (Logic) Computati...

Phenomenology, logic, and the philosophy of mathematics : hardback

Phenomenology, logic, and the philosophy of mathematics : hardback
Paper図書
Richard TieszenCambridge University Press2005
Other Libraries in Japan

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)
Paper図書
North-Holland1988.<MA41-A41>
National Diet Library
  • Subject Heading数学基礎論. Constructive mathematics.

Varieties of constructive mathematics / Douglas Bridges, Fred Richman. (London Mathematical Society lecture note series ; 97)

Varieties of constructive mathematics / Douglas Bridges, Fred Richman. (London Mathematical Society lecture note series ; 97)
Paper図書
Cambridge University Press1987.<MA41-A33>
National Diet Library
  • Subject Heading数学基礎論. Constructive mathematics.

Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6)

Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6)
Paper図書
Springer-Verlagc1985.<MA41-A6>
National Diet Library
  • Subject Heading数学基礎論. Constructive mathematics.

Formal Topology における Bishop のコンパクト性

Formal Topology における Bishop のコンパクト性
Digital博士論文
河井, 達治2015-03
Available onlineOther Libraries in Japan

Lectures on constructive mathematical analysis / by B.A. Kushner ; [translated from the Russian by E. Mendelson ; translation edited by Lev. J. Leifman]. (Translations of mathematical monographs ; v. 60)

Lectures on constructive mathematical analysis / by B.A. Kushner ; [translated from the Russian by E. Mendelson ; translation edited by Lev. J. Leifman]. (Translations of mathematical monographs ; v. 60)
Paper図書
American Mathematical Societyc1984.<MA111-A6>
National Diet Library
  • Subject Heading解析学. Mathematical analysis. Constructive mathematics.

Foundations of algorithms : using C++ pseudocode 2nd ed

Foundations of algorithms : using C++ pseudocode 2nd ed
Paper図書
Richard E. Neapolitan, Kumarss NaimipourJones and Bartlett Publishersc1998
Other Libraries in Japan

Foundations of algorithms

Foundations of algorithms
Paper図書
Richard E. Neapolitan, Kumarss NaimipourD.C. Heathc1996
Other Libraries in Japan
RSS