搜索

Basic Proof Theory

0粉丝
Thisintroductiontothebasicideasofstructuralprooftheorycontainsathoroughdisc
知识
简介
Thisintroductiontothebasicideasofstructuralprooftheorycontainsathoroughdiscussionandcomparisonofvarioustypesofformalizationoffirst-orderlogic.Examplesaregivenofseveralareasofapplication,namely:themeta... 更多
属性
出版社
Cambridge University Press
ISBN
9780521779111
出版年
2000-7-31
装帧
Paperback
价格
USD 49.00
页数
432

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Basic Proof Theory
Thisintroductiontothebasicideasofstructuralproofth
Proof Theory : S
FocusingonGentzen-typeprooftheory,thisvolumepresen
Proof Theory : S
Proof Theory : S
0
Basic Number Theory
Andre Weil 1906年5月6日出生于巴黎，1928年于巴黎大学获得博士学位，他曾先后在印度
Basic Category Theory
Thisshortintroductiontocategorytheoryisforreadersw
Basic Number Theory
Basic Number Theory
0
Basic Category Theory
Basic Category Theory
0
Basic Simple Type Theory
Type theory is one of the most important tools in
Basic Simple Type Theory
Basic Simple Type Theory
0
Rejection Proof
An entertaining and inspiring account of conquerin