词项逻辑

cí xiàng luó ji

ログインして この単語を学習リストに保存しましょう。

定義

  1. 1. categorical logic