数理逻辑

Description

本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。

Get the book

Amazon.com

Search the book

eBay.com

Search the book

Other editions

• 

  数理逻辑

  • 1993
  • 245 pages
  • Paperback
  • -
• 

  数理逻辑: 证明及其限度

  • 2014
  • 262 pages
  • Paperback
  • 复旦大学出版社