Normalization, cut-elimination and the theory of proofs

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ungar, Anthony M. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Menlo Park, Calif. CSLI 1992
Schriftenreihe:	Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 28
Schlagworte:	Bewijstheorie Proof theory Beweistheorie
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge