Bøger af Ernest. G. (University of Massachusetts Manes

This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.