Filman, Robert E and Weyhrauch, Richard W. "n FOL primer" Report Number: CS-TR-76-572 Department of Computer Science Stanford University Sptember 1976

Languages mentioned

• FOL {1976}