Logical foundations of mathematics and computational complexity : a gentle introduction

著者

• Pudlák, Pavel

書誌事項

Logical foundations of mathematics and computational complexity : a gentle introduction

Pavel Pudlák

（Springer monographs in mathematics）

Springer, c2013

注記

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

詳細情報

• NII書誌ID(NCID): BB12728666
• ISBN:
  • 9783319001180
• LCCN: 2013936799
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xiv, 695 p.
• 大きさ: 25 cm
• 件名:
  • LCSH : Mathematics
  • LCSH : Computational complexity
  • LCSH : Proof theory
  • LCSH : Set theory
• 親書誌ID:
  • BA3386797X