A short introduction to intuitionistic logic / Grigori Mints

• 作者： Mints, Grigori.
• 其他作者：
  • SpringerLink (Online service)
• 其他題名：
  • Springer e-books
• 出版： New York : Kluwer Academic / Plenum Publishers c2002
• 叢書名： University series in mathematics
• 主題： Intuitionistic mathematics.
• ISBN： 9780306469756 (electronic bk.) 、 9780306463945 (paper)
• URL： 電子書
  
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 系統號： 005168929 | 機讀編目格式