Basic proof theory

Includes bibliographical references (p. 379 - 403) and index

Bibliographische Detailangaben

1. Verfasser:	Troelstra, Anne S. (VerfasserIn)
Weitere Verfasser:	Schwichtenberg, Helmut (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Press 2003
Ausgabe:	2. ed., transferred to digital print.
Schriftenreihe:	Cambridge tracts in theoretical computer science 43
Schlagworte:	Proof theory > Beweistheorie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!