Login / Signup

Predicate calculus of arbitrarily high finite order.

Martin W. Bunder
Published in: Arch. Math. Log. (1983)
Keyphrases
  • predicate calculus
  • high level
  • object oriented
  • software engineering
  • general purpose