简介
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... 更多
属性
出版社
Springer
ISBN
9780387942582
出版年
1996-11-15
装帧
Hardcover
价格
USD 74.95
页数
300
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
A Mathematical Introduction to Logic
A Mathematical Introduction to Logic, Second Editi
A Mathematical Introduction to Logic
0
Foundations of Mathematical Logic
Comprehensive account of constructive theory of fi
Foundations of Mathematical Logic
0
A Course in Mathematical Logic
A comprehensive one-year graduate (or advanced und
A Course in Mathematical Logic
0