12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 01, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems (view source)
Revision as of 20:06, 28 January 2008
, 20:06, 28 January 2008→L: markup
Line 1,110:
Line 1,110:
'Introduction to Higher Order Categorical Logic',
− Cambridge University Press, Cambridge, UK, 1986.
− 'Foundations of Logic Programming',
− Springer-Verlag, Berlin, NY, 1984,
− Second, Extended Edition, 1987.
− 'Advanced Calculus',
− Addison-Wesley, Reading, MA, 1968.
===L===
===L===
−* Lambek, J. & Scott, P.J.,
+* Lambek, J., and Scott, P.J., ''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.
−* Loomis, L.H. & Sternberg, S.,
+* Loomis, L.H., and Sternberg, S., ''Advanced Calculus'', Addison-Wesley, Reading, MA, 1968.
−===M===
===M===
