Zur Frage korrekter und vollständiger Kalküle der [Epsilon-mu]-Logiken

Zugl.: Berlin, Techn. Univ., Diss., 2007

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bab, Sebastian (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin Techn. Univ., Fak. IV, Inst. für Telekommunikationssysteme, Formale Modelle, Logik und Programmierung, Projektgruppe KIT 2007
Schriftenreihe:	KIT-Report / Institut für Software und Theoretische Informatik, Fachbereich 20, Technische Universität Berlin 153
Schlagworte:	Hochschulschrift > Forschungsbericht > Aussagenlogik > Modallogik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Berlin, Techn. Univ., Diss., 2007
Beschreibung:	36 S. 30 cm