Pudl�k, Pavel
Logical foundations of mathematics and computational complexity A gentle introduction - New york Springer 2013 - 693 - Springer monographs in mathematics .
9783319001180
Logical foundations
Computational complexity
681.3 PUD
Logical foundations of mathematics and computational complexity A gentle introduction - New york Springer 2013 - 693 - Springer monographs in mathematics .
9783319001180
Logical foundations
Computational complexity
681.3 PUD