Zagnieżdżony rachunek sekwencyjny

W teorii dowodu strukturalnego zagnieżdżony rachunek sekwencyjny jest przeformułowaniem rachunku sekwencyjnego w celu umożliwienia głębokiego wnioskowania .