Book

Analysis and synthesis of logics

by Walter A. Carnielli