 |
sequent
| English Wikipedia - The Free Encyclopedia | Download this dictionary |
Sequent
In mathematical logic, a sequent is a very general kind of conditional assertion.
| See more at Wikipedia.org... |
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
