next up previous
Next: About this document ... Up: FORMALIZATION OF TWO PUZZLES Previous: AXIOMATIZATION OF MR. S AND

References

Weyhrauch, Richard W. (1977). FOL: A proof checker for first-order logic (Stanford Artificial Intelligence Laboratory Memo AIM-235.1). Stanford University, Stanford.



John McCarthy
2007-11-19