タイプ理り論ろん
Meanings
Noun
Logic
1. theory of types
Kanji used
logic
argument
Composed of