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
  • Subject HeadingConstructive mathematics
  • Subject Heading (ID)Constructive mathematics

Foundations of constructive probability theory : hardback

Foundations of constructive probability theory : hardback
Paper図書
Yuen-Kwok ChanCambridge University Press2021
Other Libraries in Japan
  • Subject HeadingProbabilities Stochastic processes Constructive mathematics
  • Subject Heading (ID)Probabilities Stochastic processes Constructive mathematics

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
  • Subject HeadingConstructive mathematics Set theory
  • Subject Heading (ID)Constructive mathematics Set theory

Foundations of algorithms : pbk 5th ed.

Foundations of algorithms : pbk 5th ed.
Paper図書
Richard E. NeapolitanJones & Bartlett Learningc2015
Other Libraries in Japan
  • Subject HeadingAlgorithms Constructive mathematics Computational complexity
  • Subject Heading (ID)Algorithms Constructive mathematics Computational complexity

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

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

Foundations of algorithms 4th ed

Foundations of algorithms 4th ed
Paper図書
Richard Neapoltian, Kumarss NaimipourJones and Bartlett Publishersc2011
Other Libraries in Japan
  • Subject HeadingAlgorithms Constructive mathematics Computational complexity
  • Subject Heading (ID)Algorithms Constructive mathematics Computational complexity

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
  • Subject HeadingComputer science -- Mathematics Topology Constructive mathematics
  • Subject Heading (ID)Computer science -- Mathematics Topology Constructive mathematics

Constructive physics : hardcover

Constructive physics : hardcover
Paper図書
Y.I. OzhigovNova Science Publishersc2011
Other Libraries in Japan
  • Subject HeadingQuantum theory -- Mathematical models Constructive mathematics
  • Subject Heading (ID)Quantum theory -- Mathematical models Constructive mathematics

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
  • Subject HeadingGrammar, Comparative and general -- Mathematical models Constructive mathematics
  • Subject Heading (ID)Grammar, Comparative and general -- Mathematical models Constructive mathematics

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
  • Subject Heading...d mathematical Constructive mathematics Intuitionistic mathematics
  • Subject Heading (ID)...d mathematical Constructive mathematics Intuitionistic mathematics

Essays in constructive mathematics

Essays in constructive mathematics
Paper図書
Harold M. EdwardsSpringerc2005
Other Libraries in Japan
  • Subject HeadingConstructive mathematics
  • Subject Heading (ID)Constructive mathematics

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

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
  • Subject Heading...d mathematical Constructive mathematics Intuitionistic mathematics
  • Subject Heading (ID)...d mathematical Constructive mathematics Intuitionistic mathematics

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
  • Subject HeadingConstructive mathematics Formal topologies Point-free ...

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
  • Subject HeadingAlgorithms Constructive mathematics Computational complexity
  • Subject Heading (ID)Algorithms Constructive mathematics Computational complexity

Foundations of algorithms

Foundations of algorithms
Paper図書
Richard E. Neapolitan, Kumarss NaimipourD.C. Heathc1996
Other Libraries in Japan
  • Subject HeadingAlgorithms Constructive mathematics Computational complexity
  • Subject Heading (ID)Algorithms Constructive mathematics Computational complexity
RSS