 | This article was nominated for deletion on November 19, 2006. The result of the discussion was redirect to Monadic predicate calculus. |
| This article was nominated for deletion on November 19, 2006. The result of the discussion was redirect to Monadic predicate calculus. |