☆☆☆☆☆
简体网页||繁体网页

数理逻辑教程 2024 pdf epub mobi 电子书 著者简介

---

数理逻辑教程 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-05-17

数理逻辑教程 2024 pdf epub mobi 电子书

数理逻辑教程 2024 pdf epub mobi 电子书

数理逻辑教程 2024 pdf epub mobi 电子书

---

喜欢 数理逻辑教程 电子书 的读者还喜欢

• 
  数理逻辑引论 2024 pdf epub mobi 电子书
• 
  语言的逻辑分析 2024 pdf epub mobi 电子书
• 
  逻辑学 2024 pdf epub mobi 电子书
• 
  数理逻辑 2024 pdf epub mobi 电子书
• 
  亚里士多德的逻辑学说 2024 pdf epub mobi 电子书
• 
  数理逻辑 2024 pdf epub mobi 电子书
• 
  逻辑基础 2024 pdf epub mobi 电子书
• 
  逻辑学十五讲 2024 pdf epub mobi 电子书
• 
  语言学中的逻辑 2024 pdf epub mobi 电子书
• 
  证明与反驳 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

出版者:上海人民出版社

作者:陈慕泽

出品人:

页数:337

译者:

出版时间:2002-03

价格:19.00

装帧:平装

isbn号码:9787208037489

丛书系列:

数理逻辑教程 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”

评分☆☆☆☆☆

宏观上比徐明的清晰，细节上不太好，另外证明中的自然语言太多了，反而不直观。

评分☆☆☆☆☆

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”

评分☆☆☆☆☆

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”

评分☆☆☆☆☆

【已存柜】 p84最后一个“J”或应改为“N” p138最后一个“z”或应改为“y” p176“(3) ├¬A→(A→B”或应添上“)” p237“所以由推论题34.2”或应删去“题” p242“Q8”或应改为“Q9” p290“假设A是L₂的任意一个普遍有效的公式（开公式或闭公式），则由定理40.8，A的任意一个封闭Aᒼ是普遍有效的”或应删去“由定理40.8，”，因为没有一个“定理40.8” p321所有的“∀x∀x∀x∀w”或都应改为“∀x∀y∀z∀w” p323“由公理4”或应改为“由公理14” p324“m+nn（上有横杆——引用者注）”或应改为“m+1n（同上）” p331的两个“可满足性”或都应改为“可定义性” p332和p333所有的“∀x”或都应改为“∀z”

查看全网最低价