Войти
Нет соединения — показаны сохранённые данные
First order categorical logic
First order categorical logic
Michael Makkai