载入...
Type theory and formal proof : an introduction /
"Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the...
| Main Authors: | Nederpelt, R. P. (Rob P.) (Author), Geuvers, Herman, 1964- (Author) |
|---|---|
| 语言: | English |
| 出版: |
Cambridge ; New York :
Cambridge University Press,
2014.
|
| 主题: | |
| 在线阅读: | Cover image |
相似书籍
-
Categgories for types
由: Crole, Roy L.
出版: (1993) -
The encyclopaedia of type faces /
由: Jaspert, W. Pincus
出版: (1983) -
Type and Typography
由: Rosen, Ben
出版: (1976) -
Human Types
由: Firth, Raymond
出版: (1970) -
Operator inequalities of ostrowski and trapezoidal type /
由: Dragomir, Silvestru Sever
出版: (2011)