Book

Incompleteness in the Land of Sets (Studies in Logic)

by Melvin Fitting