<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-04-03 07:33:05Predicate logic Model theory First-order logic Predicate Determinism Function Logic Mathematical logic Mathematics |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-04-03 07:33:05Predicate logic Model theory First-order logic Predicate Determinism Function Logic Mathematical logic Mathematics |
Add to Reading List |
Introduction UTP Designs with angelic nondeterminism