WikiMini
Home
Wikipedia gốc
Second order predicate calculus
Redirect to:
Second-order logic