Changes

Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems (view source)

30 bytes removed , 20:06, 28 January 2008

→‎L: markup

Line 1,110: Line 1,110:

===L===

−

* Lambek, J. & Scott, P.J.,

+

* Lambek, J., and Scott, P.J., ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK, 1986.

−

'Introduction to Higher Order Categorical Logic',

−

Cambridge University Press, Cambridge, UK, 1986.

−

* Lloyd, J.W.,

+

* Lloyd, J.W., ''Foundations of Logic Programming'', Springer-Verlag, Berlin, NY, 1984. 2nd ed. 1987.

−

'Foundations of Logic Programming',

−

Springer-Verlag, Berlin, NY, 1984,

−

~~Second, Extended Edition,~~ 1987.

−

* Loomis, L.H. & Sternberg, S.,

+

* Loomis, L.H., and Sternberg, S., ''Advanced Calculus'', Addison-Wesley, Reading, MA, 1968.

−

'Advanced Calculus',

−

Addison-Wesley, Reading, MA, 1968.

===M===

12,080

edits