Logic 第10页

Lambda Calculus with Types-Wow! eBook

Lambda Calculus with Types

Author(s): Henk Barendregt (Author), Wil Dekkers (Author), Richard Statman (Author)

 

Cambridge University | 2013 | English | 9780521766142 | 856 pages

赞(0)girrogirro
Counterfactuals-Wow! eBook

Counterfactuals

Author(s): David Lewis (Author)

 

Wiley-Blackwell | 2000 | English | 9780631224952 | 167 pages

赞(0)girrogirro