Proofs and computations

Bibliografiske detaljer
Hovedforfatter:	Schwichtenberg, Helmut 1942-
Institution som forfatter:	Association for Symbolic Logic
Andre forfattere:	Wainer, S. S.
Format:	Bog
Sprog:	English
Udgivet:	Ithaca, N.Y., Cambridge Association for Symbolic Logic Cambridge University Press 2012.
Serier:	Perspectives in logic.
Fag:	Computable functions. Proof theory.
Online adgang:	Table of contents only