Book

Foundations of the formal sciences

by Benedikt Löwe, Volker Peckhaus