简介
Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov's approach to algorithms, elementar... 更多
属性
出版社
Dover Publications
ISBN
9780486634623
出版年
1977-06-01
装帧
Paperback
价格
USD 15.95
页数
416
时光轴
里程碑1
LOG0
2023
2023-10
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
Mathematical Foundations of Neuroscience
This book applies methods from nonlinear dynamics
Mathematical Foundations of Neuroscience
0
A Course in Mathematical Logic
A comprehensive one-year graduate (or advanced und
A Course in Mathematical Logic
0