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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Proof, constructive

Книга	Страницы для поиска
MacLane S., Moerdijk L. — Sheaves in Geometry and Logic	302
Kolman B., Busby R.C., Cutler S.C. — Discrete Mathematical Structures	83
Lawrence C. Paulson — ML for the working programmer	219
Bell E.T. — The Development of Mathematics	228
Zeidler E. — Oxford User's Guide to Mathematics	880
Gossett E. — Discrete Math with Proof	107
Coutinho S. — The mathematics of ciphers: number theory and RSA cryptography	75, 158
Kolman B., Busby R.C., Ross S. — Discrete Mathematical Structures	82

О проекте