Počet záznamů: 1
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction
- 1.Pudlák, Pavel
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction.
1. - Heidelberg: Springer, 2013. 695 s. Springer Monographs in Mathematics. ISBN 978-3-319-00118-0. ISSN 1439-7382
http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
http://hdl.handle.net/11104/0221789
Počet záznamů: 1