Математическая логика

Список источников >Математика >Алгебра >Математическая логика >

Proofs and Types

Автор: Girard J.-Y., Taylor P., Lafont Y.
Год: 1989

Страниц: [не указано]
ISBN: [не указан]
Translated (from French) and developed from notes prepared for a course at the University of Paris VII. Deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between propositions and types). Treats both the traditional logic material, and its prospective application to computer science.
Добавлено: 2009-08-09 01:26:36

Это интересно...

Наши контакты


© 2009-2017, Список Литературы