Logical foundations of mathematics and computational complexity :
Pudlak, Pavel
Logical foundations of mathematics and computational complexity : a gentle introduction - New York Springer 2013 - xiv,695p. hb. - Springer Monographs in Mathematics .
9783319001180
2013936799
MATHEMATICS
COMPLEX VARIABLES
510.21 / PUD-L
Logical foundations of mathematics and computational complexity : a gentle introduction - New York Springer 2013 - xiv,695p. hb. - Springer Monographs in Mathematics .
9783319001180
2013936799
MATHEMATICS
COMPLEX VARIABLES
510.21 / PUD-L