Book

Interfaces : Explorations in Logic, Language and Computation

by Thomas Icard, Reinhard Muskens