NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
Taisho era
(1)
1960s
(6)
1970s
(14)
1980s
(13)
1990s
(6)
2000s
(10)
2010s
(5)
2020s
(1)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(56)
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
Paper
(56)
Microform
Recording Media
Deselect all
Subject
Link to Help Page
Close field
Refiners
Refiners
Search results 56
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
Mathematical intuitionism : pbk
Mathematical intuitionism : pbk
Paper
図書
Carl J. Posy
Cambridge University Press
2020
Other Libraries in Japan
Intuitionistic fuzzy calculus
Intuitionistic fuzzy calculus
Paper
図書
Qian Lei, Zeshui Xu
Springer
c2017
Other Libraries in Japan
Intuitionistic preference modeling and interactive decision making
Intuitionistic preference modeling and interactive decision making
Paper
図書
Zeshui Xu
Springer
c2014
Other Libraries in Japan
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 Dalen
Cambridge University Press
2011
Other Libraries in Japan
Leo Esakia on duality in modal and intuitionistic logics
Leo Esakia on duality in modal and intuitionistic logics
Paper
図書
Guram Bezhanishvili, editor
Springer
c2014
Other Libraries in Japan
Semantical investigations in Heyting's intuitionistic logic
Semantical investigations in Heyting's intuitionistic logic
Paper
図書
Dov M. Gabbay
D. Reidel
c2010
Other Libraries in Japan
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.]
Springer
c2009
Other Libraries in Japan
Phenomenology, logic and the philosophy of mathematics pbk
Phenomenology, logic and the philosophy of mathematics pbk
Paper
図書
Richard Tieszen
Cambridge University Press
2009
Other Libraries in Japan
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.], editors
Birkhäuser
c2008
Other Libraries in Japan
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 Atten
Springer
c2007
Other Libraries in Japan
A short introduction to intuitionistic logic : softcover
A short introduction to intuitionistic logic : softcover
Paper
図書
Grigori Mints
Springer Science+Business Media
2000
Other Libraries in Japan
Phenomenology, logic, and the philosophy of mathematics : hardback
Phenomenology, logic, and the philosophy of mathematics : hardback
Paper
図書
Richard Tieszen
Cambridge University Press
2005
Other Libraries in Japan
Elements of intuitionism 2nd ed
Elements of intuitionism 2nd ed
Paper
図書
Michael Dummett
Clarendon Press
2000
Other Libraries in Japan
A short introduction to intuitionistic logic
A short introduction to intuitionistic logic
Paper
図書
Grigori Mints
Kluwer Academic / Plenum Publishers
c2000
Other Libraries in Japan
On Brouwer
On Brouwer
Paper
図書
Mark Van Atten
Thomson/Wadsworth
c2004
Other Libraries in Japan
Brouwer's Cambridge lectures on intuitionism
Brouwer's Cambridge lectures on intuitionism
Paper
図書
edited by D. van Dalen
UT Back-in-Print Service
1999
Other Libraries in Japan
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 Placek
Kluwer Academic Publishers
1999
Other Libraries in Japan
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 Placek
Springer-Science+Business Media
c1999
Other Libraries in Japan
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. Hesseling
Birkhäuser
c2003
Other Libraries in Japan
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-Verlag
1981.
<MA41-199>
National Diet Library
Show more (21-)
Bulk download of bibliographic information