The top documents tagged [variabled goforth cosc]
First order logic (FOL)
47 views