搜索

Higher-Order Logic and Type Theory

0粉丝
This Element is an exposition of second- and higher-order logic and type th
知识
简介
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts wi... 更多
属性
出版社
Cambridge University Press
ISBN
9781108986908
出版年
2022-5
装帧
Paperback
价格
$ 20.00

时光轴

里程碑1
LOG0
2023
2023-10
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Higher-Order Logic and Type Theory
This Element is an exposition of second- and highe
Higher-Order Logic and Type Theory
0
Basic Simple Type Theory
Type theory is one of the most important tools in
Basic Simple Type Theory
0
Basic Simple Type Theory
Basic Simple Type Theory
0
Higher-Order Evidence
We often have reason to doubt our own ability to f
Higher-Order Evidence
0
Higher-Order Evidence
Higher-Order Evidence
0
Logic
Logic is often perceived as having little to do wi
Logic
0
Logic
Logic
0
Type
Type
0
Type
This exuberant selection of typographic fonts and
Type
0
The Logic of Care
**Shortlisted for the BSA Sociology of Health and
The Logic of Care
0