Sunday, January 17, 2021

First Order Logic: First Order Predicate Calculus (links)

 Wolfram Mathworld:

https://mathworld.wolfram.com/First-OrderLogic.html

No comments:

Post a Comment