Logical Foundations of Mathematics and Computational Complexity: ()
A Gentle Introduction
Edición de la obra Logical Foundations of Mathematics and Computational Complexity
| Autor | Pavel Pudlák |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Apr 22, 2013 |
| Páginas | 699 |
| ISBN-13 | 9783319001197 |
| ISBN-10 | 3319001191 |
| Serie | Springer Monographs in Mathematics |
| Número de Cutter | P977l |