Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
Category:直観主義
直観主義論理
Intuitionistic logic
直観主義型理論
Intuitionistic type theory
ライツェン・エヒベルトゥス・ヤン・ブラウワー
L. E. J. Brouwer
パースの法則
Peirce's law
スティーヴン・コール・クリーネ
Stephen Cole Kleene
直観論理
アレン・ハイティング
Arend Heyting
直観主義 (数学の哲学)
Intuitionism
二重否定翻訳
Double-negation translation
マイケル・ダメット
Michael Dummett
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter