载入...
Logical foundations of mathematics and computational complexity a gentle introduction
主要作者: | |
---|---|
格式: | Printed Book |
语言: | English |
出版: |
Heidelberg
Springer
2013
|
丛编: | Springer Monographs in mathematics
|
主题: |
实物描述: | xiv, 696p. |
---|---|
ISBN: | 978331900119 |