Page history
29 March 2009
→Intuitionistic Propositional Calculus
+4
→Classical Propositional Calculus: close bracket
+4
→Category 2: close bracket
+4
→Cartesian Category: markup
+318
→Category 2: markup
+164
28 March 2009
→Classical Propositional Calculus: markup
+168
→Positive Intuitionistic Propositional Calculus: spacing
+14
→Conjunction Calculus: spacing
+16
→Deductive System 2: spacing
+12
→Deductive System: use \dfrac
-35
27 March 2009
→Intuitionistic Propositional Calculus: markup
+261
→Positive Intuitionistic Propositional Calculus: markup
+298
→Conjunction Calculus: markup
+294
→Deductive System 2
-1
→Graph 2: + page number
+30
→Deductive System 2: markup
+121
→Basic Concepts from Lambek and Scott (1986)
-12
→Graph (Review): markup
+126
→Natural Transformation: indent diagram
+45
→Natural Transformation
+274
→Functor: spacing
+16
→Category: spacing
+8
→Deductive System: spacing
+8
→Graph: center figure
+11
→Functor: markup
+180
→Functor: markup
+244
→Category: close bracket
+3
→Category: markup
+135
→Deductive System: markup
+225
26 March 2009
→Graph: markup
+36
→Basic Concepts from Lambek and Scott (1986)
+240
→Concrete Category: markup
+15
→Concrete Category: markup
+212
→Category
+9
→Basic Concepts from Lambek and Scott (1986): segment
+281
→Work Area
+104
→Bibliography
+33
→Commentary Note 2: markup
-159
→Commentary Note 1
+8
→Commentary Note 1: markup
+123
→Commentary Note 1
-22
25 March 2009
→Commentary Note 1: markup
+88
→Commentary Note 1: markup
+75
→Step 5 (Extended): markup
→Step 5
→Step 5: markup
+7
→Step 4: markup
-141
→Step 4: markup
+302
→Transposition, or the Transposer: markup
+177
→Step 4: markup
+88