Jump to main content

yr 〜
yr

Search results 17

Semantical investigations in Heyting's intuitionistic logic

Semantical investigations in Heyting's intuitionistic logic
Paper図書
Dov M. GabbayD. Reidelc2010
Other Libraries in Japan
  • LCCQA9.47

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
  • LCCQA9.47

A short introduction to intuitionistic logic : softcover

A short introduction to intuitionistic logic : softcover
Paper図書
Grigori MintsSpringer Science+Business Media2000
Other Libraries in Japan
  • LCCQA9.47

A short introduction to intuitionistic logic

A short introduction to intuitionistic logic
Paper図書
Grigori MintsKluwer Academic / Plenum Publishersc2000
Other Libraries in Japan
  • LCCQA9.47

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
  • LCCQA9.47

Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay. (Synthese library ; v. 148)

Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay. (Synthese library ; v. 148)
Paper図書
D. Reidel Pub. Co.c1981.<MA41-A45>
National Diet Library
  • LCCQA9.47

Intuitionismus

Intuitionismus
Paper図書
von Luitzen Egbertus Jan Brouwer ; herausgegeben, eingeleitet, und kommentiert von Dirk van DalenB I Wissenschaftsverlagc1992
Other Libraries in Japan
  • LCCQA9.47

Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.). (Lecture notes in mathematics, 344)

Metamathematical investigation of intuitionistic arithmetic and analysis [by] A. S. Troelstra (ed.). (Lecture notes in mathematics, 344)
Paper図書
Springer1973.<MA41-64>
National Diet Library
  • LCCQA3 QA9.47

Brouwer's Cambridge lectures on intuitionism

Brouwer's Cambridge lectures on intuitionism
Paper図書
edited by D. van DalenCambridge University Press1981
Other Libraries in Japan
  • LCCQA9.47

Semantical investigations in Heyting's intuitionistic logic

Semantical investigations in Heyting's intuitionistic logic
Paper図書
Dov M. GabbayD. Reidelc1981
Other Libraries in Japan
  • LCCQA9.47

An algebraic and Kripke-style approach to a certain extension of intuitionistic logic pbk.

An algebraic and Kripke-style approach to a certain extension of intuitionistic logic pbk.
Paper図書
Cecylia RauszerPaństwowe Wydawn. Naukowe : [available from Ars Polona]1980
Other Libraries in Japan
  • LCCQA1 QA9.47

Absoluteness of intuitionistic logic

Absoluteness of intuitionistic logic
Paper図書
D. M. R. LeivantMathematisch Centrum1979
Other Libraries in Japan
  • LCCQA9.47

Choice sequences : a chapter of intuitionistic mathematics

Choice sequences : a chapter of intuitionistic mathematics
Paper図書
by A.S. TroelstraClarendon Press1977
Other Libraries in Japan
  • LCCQA9.47

Elements of intuitionism

Elements of intuitionism
Paper図書
by Michael Dummett ; with the assistance of Roberto MinioClarendon Press1977
Other Libraries in Japan
  • LCCQA9.47

Metamathematical investigation of intuitionistic arithmetic and analysis : u.s. : gw

Metamathematical investigation of intuitionistic arithmetic and analysis : u.s. : gw
Paper図書
A.S. Troelstra (ed.)UT Back-in-Print Service1973
Other Libraries in Japan
  • LCCQA3 QA9.47

Intuitionistic mathematics and logic

Intuitionistic mathematics and logic
Paper図書
by Michael DummettMathematical Institute1974-1975
Other Libraries in Japan
  • LCCQA9.47

Metamathematical investigation of intuitionistic arithmetic and analysis : u.s. : gw

Metamathematical investigation of intuitionistic arithmetic and analysis : u.s. : gw
Paper図書
A.S. Troelstra (ed.)Springer1973
Other Libraries in Japan
  • LCCQA3 QA9.47

Reached to the end of result.

RSS