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