Book

Foundations of Logic and Mathematics

by Yves Nievergelt