A Users Manual for FOL (1977)

by R W Weyhrauch