Open WIKI
Home
Sources
About
Contacts
⯈
☰
Predicate logic
predicate logic
is a
mathematical theory
.