Mathematical Logic 2024 pdf epub mobi 电子书

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

Mathematical Logic 2024 pdf epub mobi 电子书著者简介

Mathematical Logic 电子书图书目录

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-22

Mathematical Logic 2024 pdf epub mobi 电子书

喜欢 Mathematical Logic 电子书的读者还喜欢

Mathematical Logic 电子书读后感

评分☆☆☆☆☆

北大以此作为研究生的数理逻辑教材。邢滔滔老师的《数理逻辑》也脱胎于此。书中详略得当，对于基础一点而过，适合有些逻辑基础的人来学习。书中的推演系统是矢列演算，这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比，可以更有助于整体的...

评分☆☆☆☆☆

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

出版者:Springer

作者:H.-D. Ebbinghaus

出品人:

页数:300

译者:

出版时间:1996-11-15

价格:USD 74.95

装帧:Hardcover

isbn号码:9780387942582

丛书系列:Undergraduate Texts in Mathematics

图书标签: 数理逻辑数学逻辑学逻辑 Mathematics Logic 一阶理论模型论

Mathematical Logic 2024 pdf epub mobi 电子书图书描述

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Mathematical Logic 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!