Labelled Deductive Systems
Dov M Gabbay
Gebundenes Buch

Labelled Deductive Systems

Volume 1

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