Book

Logical frameworks for truth and abstraction

by Andrea Cantini