本文に飛ぶ

年 〜
年

検索結果 58 件

Foundations of constructive probability theory : hardback

Foundations of constructive probability theory : hardback
紙図書
Yuen-Kwok ChanCambridge University Press2021
全国の図書館

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)
紙図書
Cambridge University Press1995.<MA41-A97>
国立国会図書館全国の図書館
  • 件名数学基礎論. 計算量理論. Constructive mathematics. Proposition (Logic) Computati...

Fine structure and iteration trees hbk.

Fine structure and iteration trees hbk.
紙図書
William J. Mitchell, John R. SteelAssociation for Symbolic Logicc2016
全国の図書館

Foundations of algorithms : pbk 5th ed.

Foundations of algorithms : pbk 5th ed.
紙図書
Richard E. NeapolitanJones & Bartlett Learningc2015
全国の図書館

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)
紙図書
North-Holland1988.<MA41-A41>
国立国会図書館
  • 件名数学基礎論. 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)
紙図書
Cambridge University Press1987.<MA41-A33>
国立国会図書館
  • 件名数学基礎論. 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)
紙図書
Springer-Verlagc1985.<MA41-A6>
国立国会図書館
  • 件名数学基礎論. Constructive mathematics.

Foundations of algorithms 4th ed

Foundations of algorithms 4th ed
紙図書
Richard Neapoltian, Kumarss NaimipourJones and Bartlett Publishersc2011
全国の図書館

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

Formal Topology における Bishop のコンパクト性
デジタル博士論文
河井, 達治2015-03
インターネットで読める全国の図書館

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)
紙図書
American Mathematical Societyc1984.<MA111-A6>
国立国会図書館
  • 件名解析学. Mathematical analysis. Constructive mathematics.

Apartness and uniformity : a constructive development

Apartness and uniformity : a constructive development
紙図書
Douglas S. Bridges, Luminiţa Simona VîţăSpringerc2011
全国の図書館

Constructive physics : hardcover

Constructive physics : hardcover
紙図書
Y.I. OzhigovNova Science Publishersc2011
全国の図書館

Constructive adpositional grammars : foundations of constructive linguistics

Constructive adpositional grammars : foundations of constructive linguistics
紙図書
by Federico Gobbo and Marco BeniniCambridge Scholars2011
全国の図書館

Essays in constructive mathematics

Essays in constructive mathematics
紙図書
Harold M. EdwardsSpringerc2005
全国の図書館

Foundational theories of classical and constructive mathematics : softcover

Foundational theories of classical and constructive mathematics : softcover
紙図書
Giovanni Sommaruga, editorSpringer2011
全国の図書館

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)
紙図書
Springer-Verlag1981.<MA41-199>
国立国会図書館

Phenomenology, logic and the philosophy of mathematics pbk

Phenomenology, logic and the philosophy of mathematics pbk
紙図書
Richard TieszenCambridge University Press2009
全国の図書館

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)
紙図書
North-Holland Pub. Co.1982.<M15-A581>
国立国会図書館

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)

Intensional mathematics / edited by Stewart Shapiro. (Studies in logic and the foundations of mathematics ; v. 113)
紙図書
North-Holland1985.<MA41-A37>
国立国会図書館

Phenomenology, logic, and the philosophy of mathematics : hardback

Phenomenology, logic, and the philosophy of mathematics : hardback
紙図書
Richard TieszenCambridge University Press2005
全国の図書館
RSS