Labelled Deductive Systems
Dov M Gabbay
Gebundenes Buch

Labelled Deductive Systems

Versandkostenfrei!
Versandfertig in über 4 Wochen
111,99 €
inkl. MwSt.
PAYBACK Punkte
56 °P sammeln!
The author has tried to avoid the style of definition-lemma-theorem and has put in some explanation.