Logicism Renewed
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Cambridge University Press

9781316755808
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Intensional Type Theory

2017 ◽  
pp. 71-98
Author(s):  
Paul C. Gilmore
Keyword(s):  
Type Theory

Elementary Logic

2017 ◽  
pp. 1-42
Author(s):  
Paul C. Gilmore

Logic and Computer Science

2017 ◽  
pp. 185-214
Author(s):  
Paul C. Gilmore
Keyword(s):  
Computer Science

References

2017 ◽  
pp. 215-224
Author(s):  
Paul C. Gilmore

Recursions

2017 ◽  
pp. 99-136
Author(s):  
Paul C. Gilmore

Choice and Function Terms

2017 ◽  
pp. 137-150
Author(s):  
Paul C. Gilmore
Keyword(s):  
And Function

Preface

2017 ◽  
pp. ix-xviii
Author(s):  
Paul C. Gilmore ◽  
Paul C. Gilmore

Type Theory

2017 ◽  
pp. 43-70
Author(s):  
Paul C. Gilmore
Keyword(s):  
Type Theory

Logic and Mathematics

2017 ◽  
pp. 171-184
Author(s):  
Paul C. Gilmore
Keyword(s):  
And Mathematics

Intuitionist Logic

2017 ◽  
pp. 151-170
Author(s):  
Paul C. Gilmore
Keyword(s):  
Intuitionist Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document