Sorry, the term sequent calculus is not in the dictionary. Check the spelling and try removing suffixes like "-ing" and "-s".
Why is this definition missing?
Nearby terms:
Sequent ♦ sequential coding ♦ sequential file matching ♦ Sequential Parlog Machine
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading