Buy Me a Coffee at ko-fi.com

Predicate

concept of mathematical logic

invariant extension first-order predicate second-order predicate
Showing 0 to 4 of 4 Items