Этого треда уже нет.
Это копия, сохраненная 27 августа 2018 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Это копия, сохраненная 27 августа 2018 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
910 Кб, 1200x800>>34991
Вот это чёрч
Вот это чёрч
bump
>>34918 (OP)
А она такая существует?
Оригинальная книга Introduction to Mathematical Logic (PMS-13) содержит 377 страниц.
Alonzo Church, Introduction to Mathematical Logic (ISBN 978-0-691-02906-1)
Дальше уже вторая книга про лямбда-исчисление:
Alonzo Church, The Calculi of Lambda-Conversion (ISBN 978-0-691-08394-0)
В общем, вот тут глянь: https://en.wikipedia.org/wiki/Alonzo_Church#Books
А она такая существует?
Оригинальная книга Introduction to Mathematical Logic (PMS-13) содержит 377 страниц.
Alonzo Church, Introduction to Mathematical Logic (ISBN 978-0-691-02906-1)
Дальше уже вторая книга про лямбда-исчисление:
Alonzo Church, The Calculi of Lambda-Conversion (ISBN 978-0-691-08394-0)
В общем, вот тут глянь: https://en.wikipedia.org/wiki/Alonzo_Church#Books
>>35800
В первом томе даже предполагаемое оглавнеие второго есть, но вроде это не лямбда исчисление, просто продвинутые главый матлога. Склоняюсь к версии, что он просто умер и не успел дописать.
В первом томе даже предполагаемое оглавнеие второго есть, но вроде это не лямбда исчисление, просто продвинутые главый матлога. Склоняюсь к версии, что он просто умер и не успел дописать.
bump
Тред утонул или удален.
Это копия, сохраненная 27 августа 2018 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.
Это копия, сохраненная 27 августа 2018 года.
Скачать тред: только с превью, с превью и прикрепленными файлами.
Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах. Подробнее
Если вам полезен архив М.Двача, пожертвуйте на оплату сервера.