Logical foundations of mathematics and computational complexity : - Pudlak, Pavel 1952- (Springer monographs in mathematics, 2013)