Электронная книга

Lectures on the Curry-Howard Isomorphism

Серия электронных книг

Studies in Logic and the Foundations of Mathematics