Account
Edit tools
Intern
SucheSearch
English

The Design of Modal Proof Theories: the case of S5

Aus International Center for Computational Logic
Version vom 17. Mai 2016, 20:04 Uhr von Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=The Design of Modal Proof Theories: the case of S5 |Titel EN=The Design of Modal Proof Theories: the case of S5 |Vorname=Phiniki |N…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche