Herbrand

Logic for Computer Science Foundations of Automatic Theorem Proving Author not listed Year not listed Logic for Computer Sciencs Foundations of Automatic Theorem Proving Author not listed Year not listed