Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction FR1P46DTP3
| URI | m2://res/FR1P46DTP3 |
|---|---|
| Kind | monograph |
| Creators | Pavel Pudlák |
| Date | 2013 |
| Scope | in |
Expressions
e1: edition
| Date | 2013 |
|---|---|
| Ids | DOI 10.1007/978-3-319-00119-7 |
- m1: print, Springer International Publishing, 2013. isbn 9783319001180, isbn 9783319001197
Relations
Catalogue records
- springer-series: 10.1007/978-3-319-00119-7 (work)