Jump to main content

yr 〜
yr

Search results 72

Mathematical intuitionism : introduction to proof theory / A.G. Dragalin. (Translations of mathematical monographs ; v. 67)

Mathematical intuitionism : introduction to proof theory / A.G. Dragalin. (Translations of mathematical monographs ; v. 67)
Paper図書
American Mathematical Societyc1988.<MA41-A30>
National Diet Library

Intuitionism : pbk

Intuitionism : pbk
Paper図書
David KasparBloomsbury2012
Other Libraries in Japan
  • Subject HeadingEthical intuitionism Ethics Intuition
  • Subject Heading (ID)Ethical intuitionism Ethics Intuition

Intuitionism : an introduction / A. Heyting. 3rd ed. (Studies in logic and the foundations of mathematics)

Intuitionism : an introduction / A. Heyting. 3rd ed. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1971.<MA41-50>
National Diet Library

Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)

Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)
Paper図書
Springer1969.<MA41-17>
National Diet Library
  • Note (General)... conference on intuitionism and proof theory (1968) at SU...

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley. (Studies in logic and the foundations of mathematics)

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1970.<MA41-29>
National Diet Library
  • Author Heading... Conference on Intuitionism and Proof Theory (1968 : Stat...

Intuitionism; an introduction. [2d rev. ed.] (Studies in logic and the foundations of mathematics)

Intuitionism; an introduction. [2d rev. ed.] (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.[1966]<MA41-4>
National Diet Library

Mathematical intuitionism : pbk

Mathematical intuitionism : pbk
Paper図書
Carl J. PosyCambridge University Press2020
Other Libraries in Japan

Kurt Gödel : the Princeton lectures on intuitionism

Kurt Gödel : the Princeton lectures on intuitionism
Paper図書
Maria Hämeen-Anttila, Jan von Plato, editorsSpringerc2021
Other Libraries in Japan

Early 20th century philosophies : logicism, intuitionism, formalism and logical empiricism

Early 20th century philosophies : logicism, intuitionism, formalism and logical empiricism
Paper図書
edited by A.C. PaseauRoutledge2017
Other Libraries in Japan

The new intuitionism : pbk

The new intuitionism : pbk
Paper図書
edited by Jill Graper Hernandez ; with an introduction by Robert Audi ; [contributers, Robert Audi ... et al.]Continuum Internationalc2011
Other Libraries in Japan
  • Subject HeadingEthical intuitionism
  • Subject Heading (ID)Ethical intuitionism

Intuitionism vs. classicism : a mathematical attack on classical logic

Intuitionism vs. classicism : a mathematical attack on classical logic
Paper図書
Nick HaverkampKlostermann2015
Other Libraries in Japan

The new intuitionism : pbk : hbk

The new intuitionism : pbk : hbk
Paper図書
edited by Jill Graper Hernandez ; with an introduction by Robert AudiContinuumc2011
Other Libraries in Japan
  • Subject HeadingEthical intuitionism
  • Subject Heading (ID)Ethical intuitionism

Ethical intuitionism : pbk

Ethical intuitionism : pbk
Paper図書
Michael HuemerPalgrave Macmillan2008, c2005
Other Libraries in Japan
  • Subject HeadingEthical intuitionism Ethics Intuition
  • Subject Heading (ID)Ethical intuitionism Ethics Intuition

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

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

Ethical intuitionism : cloth

Ethical intuitionism : cloth
Paper図書
Michael HuemerPalgrave Macmillan2005
Other Libraries in Japan
  • Subject HeadingEthical intuitionism Ethics Intuition
  • Subject Heading (ID)Ethical intuitionism Ethics Intuition

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
  • Note (General)...ndred years of intuitionism, held in Cerisy, France, from...
  • Author HeadingAtten, Markus Sebastiaan Paul Rogier van : one hundred years of intuitionism

Evolutionary intuitionism : a theory of the origin and nature of moral facts : hbk : pbk

Evolutionary intuitionism : a theory of the origin and nature of moral facts : hbk : pbk
Paper図書
Brian ZamulinskiMcGill-Queen's University Pressc2007
Other Libraries in Japan

Kant's intuitionism : a commentary on the transcendental aesthetic : paper

Kant's intuitionism : a commentary on the transcendental aesthetic : paper
Paper図書
Lorne FalkensteinUniversity of Toronto Press2004, c1995
Other Libraries in Japan

Ethical intuitionism : re-evaluations : hard : pbk

Ethical intuitionism : re-evaluations : hard : pbk
Paper図書
edited by Philip Stratton-LakeClarendon Press2002
Other Libraries in Japan
  • Subject HeadingEthical intuitionism
  • Subject Heading (ID)Ethical intuitionism
RSS