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:メタ論理学
モデル理論
Model theory
証明論
Proof theory
形式言語
Formal language
メタ論理学
Metalogic
タイプとトークンの区別
Type–token distinction
使用と言及の区別
Use–mention distinction
Categories
日本のアニメ映画
日本の文化
日本の祭り
日本の世界遺産
日本のアイドル
Share
Twitter