SUO: 14 Jun 2002 -- Categories & Logic

[Jon Awbrey <jawbrey@oakland.edu>]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Categories & Logic

An integrated approach to category theory and logic:

Lambek & Scott, 'Higher Order Categorical Logic'

01.  http://suo.ieee.org/ontology/msg03373.html
02.  http://suo.ieee.org/ontology/msg03375.html
03.  http://suo.ieee.org/ontology/msg03376.html
04.  http://suo.ieee.org/ontology/msg03377.html
05.  http://suo.ieee.org/ontology/msg03378.html
06.  http://suo.ieee.org/ontology/msg03381.html
07.  http://suo.ieee.org/ontology/msg03383.html
08.  http://suo.ieee.org/ontology/msg03384.html
09.  http://suo.ieee.org/ontology/msg03392.html
10.  http://suo.ieee.org/ontology/msg03393.html
11.  http://suo.ieee.org/ontology/msg03394.html
12.  http://suo.ieee.org/ontology/msg03395.html
13.  http://suo.ieee.org/ontology/msg03396.html
14.  http://suo.ieee.org/ontology/msg03398.html
15.  http://suo.ieee.org/ontology/msg03399.html
16.  http://suo.ieee.org/ontology/msg03400.html
17.  http://suo.ieee.org/ontology/msg03401.html
18.  http://suo.ieee.org/ontology/msg03402.html
19.  http://suo.ieee.org/ontology/msg03403.html
20.  http://suo.ieee.org/ontology/msg03404.html
21.  http://suo.ieee.org/ontology/msg03405.html
22.  http://suo.ieee.org/ontology/msg03406.html
23.  http://suo.ieee.org/ontology/msg03409.html
24.  http://suo.ieee.org/ontology/msg03410.html
25.  http://suo.ieee.org/ontology/msg03411.html
26.  http://suo.ieee.org/ontology/msg03412.html
27.  http://suo.ieee.org/ontology/msg03415.html
28.  http://suo.ieee.org/ontology/msg03416.html
29.  http://suo.ieee.org/ontology/msg03417.html
30.  http://suo.ieee.org/ontology/msg03418.html

| Lambek, J. & Scott, P.J.,
|'Introduction To Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.
|
| http://uk.cambridge.org/mathematics/catalogue/0521356539/

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤