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

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

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

Studies in Logic and the Foundations of Mathematics