Fundraising September 15, 2024 – October 1, 2024 About fundraising

数理逻辑

Main
Mathematics
数理逻辑

数理逻辑

A.G.汉密尔顿朱水林译

0 / 0

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Categories:

Publisher:

华东师范大学出版社

Language:

chinese

Pages:

262

File:

PDF, 7.87 MB

IPFS:

,

chinese0

Read Online

Conversion to is in progress

Conversion to is failed

You may be interested in

莫绍揆 — 数理逻辑导论

莫绍揆 — 数理逻辑漫谈

胡世华; 陆钟万 — 数理逻辑基础

胡世华; 陆钟方 — 数理逻辑基础

张锦文 — 公理集合论导引

张锦文 — 数学丛书.-. 现代数学基础丛书 . 公理集合论导引

莫绍揆 — 数理逻辑初步

莫绍揆编著 — 数学丛书.-. 现代数学基础丛书 . 递归函数论

莫绍揆 — 数理逻辑教程

王宪钧 — 数理逻辑引论

北京大学哲学系外国哲学史教研室编译 — 十八世纪末-十九世纪初德国哲学

李未著 — 数理逻辑：基本原理与形式演算

数理逻辑基础：一阶逻辑与一阶理论-陈慕泽 — 数理逻辑基础：一阶逻辑与一阶理论-陈慕泽

胡龙彪黄华新 — 逻辑学教程

[美]保罗·贝纳塞拉夫(编); 希拉里·普特南(编) ;朱水林等(译) — 数学哲学

王浩 — 数理逻辑通俗讲话

陆汝钤 — 数学·计算·逻辑

欧文·M·柯匹, 卡尔·科恩 — 逻辑学导论第13版

萧文灿 — 集合论初步

布勒斯，George S. Boolos — 可计算性与数理逻辑

x — 非经典数理逻辑与近似推理.

维特根斯坦著；陈启伟译 — 逻辑哲学论中英文对照

A. G. Hamilton — Logic for Mathematicians

Harry J. Gensler — Introduction to Logic

Elliott Mendelson — Introduction to Mathematical Logic, Sixth Edition

金岳霖 — 形式逻辑 /Xing shi luo ji

Lu zhong wan — 面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

王国俊 — 数理逻辑引论与归结原理

林家翘；西格尔；赵国英译 — 自然科学中确定性问题的应用数学

冯琦 — 数理逻辑导引

冯琦 — 集合论导引第1卷

冯琦 — 集合论导引第2卷

冯琦 — 集合论导引第三卷高阶无穷

沈（ShenA.）, 韦列夏金（VershchaginN.K.）, 陈光还译 — 集合论基础

胡思 — 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理

[德] 哈斯 [英] 瑞安 — 面向计算机科学的数理逻辑

Anil Nerode Richard A.Shore — 应用逻辑

Mark.C.Chu-Carroll — 数学极客探索数字、逻辑、计算之美

[美]Herbert B.Enderton，沈复兴，陈磊，孙运传 — 数理逻辑（第2版）

张寅生 — 证明方法与理论

作者赵辉、顾险峰、雷娜 — 三维模型参数化算法：理论和实践（C#版本）

陈波 — 逻辑学导论(第2版)

Most frequently terms