Herbrand Logic -- First-order Syntax and Herbrand Semantics

Herbrand Logic

Syntax and Semantics

Proof and Model Theory

This page has moved to http://cs.uic.edu/~hinrichs/herbrand/html/.