equal
deleted
inserted
replaced
22 </DL> |
22 </DL> |
23 |
23 |
24 Useful references on Higher-Order Logic: |
24 Useful references on Higher-Order Logic: |
25 |
25 |
26 <UL> |
26 <UL> |
27 <LI>P. B. Andrews, An Introduction to Mathematical Logic and Type Theory |
27 <LI>P. B. Andrews,<BR> |
28 (Academic Press, 1986). |
28 An Introduction to Mathematical Logic and Type Theory<BR> |
|
29 (Academic Press, 1986). |
29 |
30 |
30 <LI>J. Lambek and P. J. Scott, Introduction to Higher Order |
31 <LI>J. Lambek and P. J. Scott,<BR> |
31 Categorical Logic (CUP, 1986) |
32 Introduction to Higher Order Categorical Logic (CUP, 1986) |
32 </UL> |
33 </UL> |
33 |
34 |
34 </BODY></HTML> |
35 </BODY></HTML> |