Logic, Mathematics and computer science: Modern foundations with practical applications

Nievergelt, Y Ves

Logic, Mathematics and computer science: Modern foundations with practical applications - New York Springer 2015

004.0151 / NIE.L