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!

Keine Ergebnisse!