Friendly Wiki
Home
About
Random
Help
Updates
Contact
Login
Friendly Wiki
☰
Home
About
Random
Help
Updates
Contact
Login
predicate calculus
REDIRECT
First-order logic
Category:Logical calculi
Category:Systems of formal logic