Proofs and computations

Bibliographische Detailangaben

1. Verfasser:	Schwichtenberg, Helmut (VerfasserIn)
Weitere Verfasser:	Wainer, Stanley S. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Press u.a. 2012
Ausgabe:	1. publ.
Schriftenreihe:	Perspectives in logic
Schlagworte:	Beweistheorie > Rekursionstheorie
Online Zugang:	http://scans.hebis.de/HEBCGI/show.pl?27869657_toc.html http://scans.hebis.de/HEBCGI/show.pl?27869657_kub.html http://scans.hebis.de/HEBCGI/show.pl?27869657_aub.html http://scans.hebis.de/HEBCGI/show.pl?27869657_bio.html Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!