Cut elimination in logics with definitional reflection

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schroeder-Heister, Peter (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Tübingen WSI 1992
Schriftenreihe:	Wilhelm-Schickard-Institut für Informatik <Tübingen>: WSI 1992,10
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!