Proofs and computations

Detalhes bibliográficos
Autor principal:	Schwichtenberg, Helmut 1942-
Autor Corporativo:	Association for Symbolic Logic
Outros Autores:	Wainer, S. S.
Formato:	Livro
Idioma:	inglês
Publicado em:	Ithaca, N.Y., Cambridge Association for Symbolic Logic Cambridge University Press 2012.
Colecção:	Perspectives in logic.
Assuntos:	Computable functions. Proof theory.
Acesso em linha:	Table of contents only