Logical foundations of mathematics and computational complexity : a gentle introduction

Author(s)

• Pudlák, Pavel

Bibliographic Information

Logical foundations of mathematics and computational complexity : a gentle introduction

Pavel Pudlák

（Springer monographs in mathematics）

Springer, c2013

Note

Includes bibliographical references (p. 671-682) and indexes

Details

• NCID: BB12728666
• ISBN:
  • 9783319001180
• LCCN: 2013936799
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xiv, 695 p.
• Size: 25 cm
• Subject Headings:
  • LCSH : Mathematics
  • LCSH : Computational complexity
  • LCSH : Proof theory
  • LCSH : Set theory
• Parent Bibliography ID:
  • BA3386797X