Beweistheorie: Sequenzberechnungen und verwandte Formalismen, Hardcover von Bimbo, Ka...
149,40 €
"Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be.
Jetzt bei Ebay:
