![Logic / Computability theory / Curry–Howard correspondence / Logic in computer science / Philosophy of computer science / Type theory / Symbol / Mathematical logic / Mathematics / Proof theory Logic / Computability theory / Curry–Howard correspondence / Logic in computer science / Philosophy of computer science / Type theory / Symbol / Mathematical logic / Mathematics / Proof theory](https://www.pdfsearch.io/img/93c1e4fe8d84b0a0e99b042056440289.jpg)
| Document Date: 2012-02-24 11:21:41 Open Document File Size: 161,60 KBShare Result on Facebook
City Irbid / Arcticle / Jinan / Guangzhou / / Company Shangdong Science Technic Press / Cambridge University Press / Jordan Journal / / Country Jordan / / Currency USD / / / Facility Yarmouk University / Guangdong Education Institute / / IndustryTerm linear operator / / Organization Cambridge University / Department of Mathematics / Yarmouk University / Zhejiang University / Guangdong Education Institute / / Position mp / / ProvinceOrState Guangdong / /
SocialTag |