Types

bodirsky

0:00 / 0:00

Types

1 155 просмотров · 5 лет назад

bodirsky

843 подписчика

1 155 просмотров · 5 лет назад

An introduction to types in first-order logic.