Software Foundations Vol 1: Logical Foundations

by Arthur Azevedo de Amorim, Marco Gaboardi, Michael Greenberg, Brent Yorgey, Cătălin Hriţcu, Benjamin C Pierce, Chris Casinghino, Vilhelm Sjöberg

Software engineering