The elimination of de re formulas.

Michael Kaminski

Published in: J. Philos. Log. (1997)

Keyphrases

mathematical formulas
multiscale
artificial intelligence
horn clauses
real numbers
predicate calculus