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