Cut-elimination and normal forms of sequent derivations

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mints, G. E. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stanford, Calif. Center for the Study of Language and Information 1994
Schriftenreihe:	CSLI reports 193
Schlagworte:	Forschungsbericht > Mathematische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!