搜索

Proof Theory : S

0粉丝
FocusingonGentzen-typeprooftheory,thisvolumepresentsadetailedoverviewofcrea
知识
简介
FocusingonGentzen-typeprooftheory,thisvolumepresentsadetailedoverviewofcreativeworksbyauthorGaisiTakeutiandothertwentieth-centurylogicians.Thetextexploresapplicationsofprooftheorytologicaswellasothera... 更多
属性
出版社
Dover Publications
ISBN
9780486490731
出版年
2013-2-20
装帧
Paperback
价格
USD 24.95
页数
512

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Proof Theory : S
FocusingonGentzen-typeprooftheory,thisvolumepresen
Basic Proof Theory
Thisintroductiontothebasicideasofstructuralproofth
Basic Proof Theory
Basic Proof Theory
0
Gödel's Proof
In 1931 Kurt Godel published his fundamental paper
Gödel's Proof
Gödel's Proof
0
The Musician's Guide to Theory
The Musician's Guide to Theory
0
Kant's Theory of Freedom
Kant's Theory of Freedom
0
Hegel's Theory of Intelligibility
Hegel's Theory of Intelligibility
0
Fichte's Theory of Subjectivity
This is the first book in English to elucidate the
Aristotle's Theory of Substance
Aristotle's views on the fundamental nature of rea