séquents


English Wikipedia - The Free EncyclopediaDownload 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
Dizionario inglese-italiano 1.0.012Download this dictionary
SEQUENTS
CONSEGUENTI. SUCCESSIVI