Proof Theory pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
Simmons, Harold; Wainer, Stanley S.; Aczel, Peter
1993-2
320
$ 176.28
9780521414135
图书标签: 数学 nemlophics
喜欢 Proof Theory 的读者还喜欢
下载链接在页面底部
点击这里下载
发表于2024-12-24
Proof Theory epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Proof Theory epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Proof Theory pdf epub mobi txt 电子书 下载 2024
图书描述
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
著者简介
图书目录
Proof Theory pdf epub mobi txt 电子书 下载
用户评价
评分
评分
评分
评分
评分
读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
Proof Theory pdf epub mobi txt 电子书 下载 2024
分享链接
相关图书
-
The Birth of Model Theory pdf epub mobi txt 电子书 下载 -
Lattice Theory pdf epub mobi txt 电子书 下载
-
编码理论导引 pdf epub mobi txt 电子书 下载
-
复分析 pdf epub mobi txt 电子书 下载
-
Infinity pdf epub mobi txt 电子书 下载
-
Multi-Dimensional Modal Logic pdf epub mobi txt 电子书 下载
-
Lattice Theory pdf epub mobi txt 电子书 下载
-
From Peirce to Skolem pdf epub mobi txt 电子书 下载
-
Mathematical Problems from Applied Logic pdf epub mobi txt 电子书 下载
-
Many-Dimensional Modal Logics:Theory and Applications pdf epub mobi txt 电子书 下载
-
Displaying Modal Logic pdf epub mobi txt 电子书 下载
-
An Introduction to Substructural Logics pdf epub mobi txt 电子书 下载
-
Substructural Logics pdf epub mobi txt 电子书 下载
-
A Course in Model Theory pdf epub mobi txt 电子书 下载
-
Building Models by Games pdf epub mobi txt 电子书 下载
-
计算复杂性的现代方法 pdf epub mobi txt 电子书 下载
-
Alfred Tarski pdf epub mobi txt 电子书 下载
-
Handbook of Tableau Methods pdf epub mobi txt 电子书 下载
-
Memoirs of a Proof Theorist pdf epub mobi txt 电子书 下载
-
The Philosophy of Gottlob Frege pdf epub mobi txt 电子书 下载
