| Alternatives: | (mml file) (full) (simple) (plain) (form) (slideshow) |
| File: | StrictContent/ArithmeticAlgebraLogic/not/rec-not3 |
| CVS-ID: | |
| Author: | Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner) |
| Description: | not (forall s in S) |
Sample Rendering:
| |
Your browser's rendering: