Herbrand Logic
Jump to navigation
Jump to search
See: Formal Logic, First Order Logic.
References
2013
- (Genesereth & Kao, 2013) ⇒ Michael Genesereth, and Eric Kao. (2013). “Introduction to Logic." Morgan & Claypool Publishers. doi:10.2200/S00432ED1V01Y201207CSL005