Old Web
English
Sign In
Acemap
>
Paper
>
INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7)
INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7)
1987
A. M. Pitts
Keywords:
Applied mathematics
Categorical logic
Mathematics
Mathematics education
Topology
Calculus
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
155
Citations
NaN
KQI
[]