Jump to main content

yr 〜
yr

Search results 4

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-

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

Semantical investigations in Heyting's intuitionistic logic

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

Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday

Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday
Paper図書
Wolters-Noordhoff1968
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Addresses, essays, lectures Heyting, A. (Arend), 1898-
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Addresses, essays, lectures Heyting, A. (Arend), 1898-

Reached to the end of result.

RSS