Proofs and computations

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schwichtenberg, Helmut (VerfasserIn)
Weitere Verfasser:	Wainer, Stanley S. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, UK u.a. Cambridge Univ. Press u.a. 2012
Ausgabe:	1. publ.
Schriftenreihe:	Perspectives in logic
Schlagworte:	Computable functions > Proof theory > Beweistheorie > Rekursionstheorie
Online Zugang:	Autorenbiografie Verlagsangaben Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Includes bibliographical references and index
Beschreibung:	XIII, 465 S. graph. Darst. 25 cm
ISBN:	0521517699 0-521-51769-9 9780521517690 978-0-521-51769-0