Assertion: order predicate logic | /r/HasAspect | the theorem
Facets:
Source sentences:
text: The usual first-order intuitionistic logic, the Heyting predicate calculus (HPC)—also called the intuitionistic predicate calculus—has the theorem \(\exists