Jump to main content

yr 〜
yr

Search results 56

Mathematical intuitionism : pbk

Mathematical intuitionism : pbk
Paper図書
Carl J. PosyCambridge University Press2020
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics
  • Subject Heading (ID)Intuitionistic mathematics

Intuitionistic fuzzy calculus

Intuitionistic fuzzy calculus
Paper図書
Qian Lei, Zeshui XuSpringerc2017
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics Fuzzy numbers Calculus
  • Subject Heading (ID)Intuitionistic mathematics Fuzzy numbers Calculus

Intuitionistic preference modeling and interactive decision making

Intuitionistic preference modeling and interactive decision making
Paper図書
Zeshui XuSpringerc2014
Other Libraries in Japan
  • Subject HeadingFuzzy decision making Intuitionistic mathematics
  • Subject Heading (ID)Fuzzy decision making Intuitionistic mathematics

Brouwer's Cambridge lectures on intuitionism pbk. 1st paperback ed.

Brouwer's Cambridge lectures on intuitionism pbk. 1st paperback ed.
Paper図書
edited by D. van DalenCambridge University Press2011
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics
  • Subject Heading (ID)Intuitionistic mathematics

Leo Esakia on duality in modal and intuitionistic logics

Leo Esakia on duality in modal and intuitionistic logics
Paper図書
Guram Bezhanishvili, editorSpringerc2014
Other Libraries in Japan
  • Subject HeadingĖsakia, L. L. (Leo Leonidovich) Duality (Logic) Modality (Logic) Intuitionistic mathematics
  • Subject Heading (ID)Ėsakia, L. L. (Leo Leonidovich) Duality (Logic) Modality (Logic) Intuitionistic mathematics

Semantical investigations in Heyting's intuitionistic logic

Semantical investigations in Heyting's intuitionistic logic
Paper図書
Dov M. GabbayD. Reidelc2010
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics Heyting, A. (Arend), 1898-
  • Subject Heading (ID)Intuitionistic mathematics Heyting, A. (Arend), 1898-

Logicism, intuitionism, and formalism : what has become of them? : hbk

Logicism, intuitionism, and formalism : what has become of them? : hbk
Paper図書
edited by Sten Lindström ... [et al.]Springerc2009
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics Mathematics -- Philosophy -- ...
  • Subject Heading (ID)Intuitionistic mathematics Mathematics -- Philosophy -- ...

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

One hundred years of intuitionism, 1907-2007 : the Cerisy conference

One hundred years of intuitionism, 1907-2007 : the Cerisy conference
Paper図書
Mark van Atten ... [et al.], editorsBirkhäuserc2008
Other Libraries in Japan
  • Subject Heading...an), 1881-1966 Intuitionistic mathematics Mathematics -- Philosophy
  • Subject Heading (ID)...an), 1881-1966 Intuitionistic mathematics Mathematics -- Philosophy

Brouwer meets Husserl : on the phenomenology of choice sequences : e-book

Brouwer meets Husserl : on the phenomenology of choice sequences : e-book
Paper図書
by Mark van AttenSpringerc2007
Other Libraries in Japan
  • Subject Heading... (Mathematics) Intuitionistic mathematics
  • Subject Heading (ID)... (Mathematics) Intuitionistic mathematics

A short introduction to intuitionistic logic : softcover

A short introduction to intuitionistic logic : softcover
Paper図書
Grigori MintsSpringer Science+Business Media2000
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics
  • Subject Heading (ID)Intuitionistic mathematics

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

A short introduction to intuitionistic logic

A short introduction to intuitionistic logic
Paper図書
Grigori MintsKluwer Academic / Plenum Publishersc2000
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics
  • Subject Heading (ID)Intuitionistic mathematics

Elements of intuitionism 2nd ed

Elements of intuitionism 2nd ed
Paper図書
Michael DummettClarendon Press2000
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics
  • Subject Heading (ID)Intuitionistic mathematics

On Brouwer

On Brouwer
Paper図書
Mark Van AttenThomson/Wadsworthc2004
Other Libraries in Japan
  • Subject Heading... -- Philosophy Intuitionistic mathematics
  • Subject Heading (ID)... -- Philosophy Intuitionistic mathematics

Brouwer's Cambridge lectures on intuitionism

Brouwer's Cambridge lectures on intuitionism
Paper図書
edited by D. van DalenUT Back-in-Print Service1999
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics
  • Subject Heading (ID)Intuitionistic mathematics

Mathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism

Mathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism
Paper図書
by Tomasz PlacekKluwer Academic Publishers1999
Other Libraries in Japan
  • Subject HeadingMathematics -- Philosophy Intuitionistic mathematics Intersubjectivity
  • Subject Heading (ID)Mathematics -- Philosophy Intuitionistic mathematics Intersubjectivity

Mathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism : pbk

Mathematical intuitionism and intersubjectivity : a critical exposition of arguments for intuitionism : pbk
Paper図書
Tomasz PlacekSpringer-Science+Business Mediac1999
Other Libraries in Japan
  • Subject HeadingMathematics -- Philosophy Intuitionistic mathematics Intersubjectivity
  • Subject Heading (ID)Mathematics -- Philosophy Intuitionistic mathematics Intersubjectivity

Gnomes in the fog : the reception of Brouwer's intuitionism in the 1920s

Gnomes in the fog : the reception of Brouwer's intuitionism in the 1920s
Paper図書
Dennis E. HesselingBirkhäuserc2003
Other Libraries in Japan
  • Subject HeadingIntuitionistic mathematics Logic, Symbolic and mathemati...
  • Subject Heading (ID)Intuitionistic mathematics Logic, Symbolic and mathemati...

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