Cut elimination in categories

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Došen, Kosta (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht u.a. Kluwer 1999
Schriftenreihe:	Trends in logic 6
Schlagworte:	Catégories (mathématiques) > Preuve, Théorie de la > Élimination (algèbre) > Kategorientheorie > Beweistheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XII, 229 S.
ISBN:	0792357205 0-7923-5720-5