Поиск книг, содержащих Curry — Howard isomorphism :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Curry — Howard isomorphism

Книга	Страницы для поиска
Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types	5, 150
Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13)	311, 345
Hazewinkel M. — Handbook of Algebra (part 2)	5, 13, 51, 54
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.	47, 68, 500, 751, 752, see also "Formulas as types"

О проекте