Proofs and computations

Bibliografische gegevens
Hoofdauteur:	Schwichtenberg, Helmut 1942-
Coauteur:	Association for Symbolic Logic
Andere auteurs:	Wainer, S. S.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Ithaca, N.Y., Cambridge Association for Symbolic Logic Cambridge University Press 2012.
Reeks:	Perspectives in logic.
Onderwerpen:	Computable functions. Proof theory.
Online toegang:	Table of contents only