简介
Thisintroductiontothebasicideasofstructuralprooftheorycontainsathoroughdiscussionandcomparisonofvarioustypesofformalizationoffirst-orderlogic.Examplesaregivenofseveralareasofapplication,namely:themeta... 更多
属性
出版社
Cambridge University Press
ISBN
9780521779111
出版年
2000-7-31
装帧
Paperback
价格
USD 49.00
页数
432
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%