The foundations of the logic of N-tuples

References

• Butrick , R. , Hoskins , D. and Scott , K. The Logic of N-tuples , Ohio University Research Grant . OUR 385
   Google Scholar
• Knuth , D.E. , Morris , J.H. and Pratt , V.R. 1977 . Fast pattern matching in strings . SIAM J. Comput , 6 ( 2 ) : 323 – 350 .
   Google Scholar
• Mccarthy , J. “ A basis for a mathematical theory of computation ” . In Computer Programming and Formal Systems , Edited by: Braffort , . Amsterdam : North Holland .
   Google Scholar
• Mendelson E. Introduction to Mathematical Logic, D. Van Nostrand 1964 162
   Google Scholar
• Moore , J.S. Computational Logic: Structure Sharing and Proof of Program Properties , Edinburgh University . Part II, DC. Memo No. 68, School of Artificial Intelligence
   Google Scholar
• Newell , A. , Shaw , J.L. and Simon , H.A. The Logic Theory Machine . IRE Transactions on Information Theory , IT2 ( 3 )
   Google Scholar
• Schoenfield , S. 1967 . Mathematical Logic , 246 Toronto : Addison-Wesley .
   Google Scholar