Vollständige Systeme Modaler und Intuitionistischer Logik

54.99 EUR

Dieses Buch beleuchtet die vollständigen Systeme der modalen und intuitionistischen Logik aus einer neuen Sicht, indem es klassische Beweisstrategien mit modernen semantischen Ansätzen verbindet und dabei tiefe Einsichten in formale Grundlagen liefert.

Teilen: