bookmark

Herbrand Logic -- First-order Syntax and Herbrand Semantics

http://logic.stanford.edu/~thinrich/herbrand/html/index.html

Please log in to take part in the discussion (add own reviews or comments).