Structural proof theory

Bibliographische Detailangaben

Hauptverfasser:	Negri, Sara 1967- (VerfasserIn), Plato, Jan von 1951- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 2001
Ausgabe:	1. publ.
Schlagworte:	Beweistheorie
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!