Proofs and computations /

Dades bibliogràfiques
Autors principals: Schwichtenberg, Helmut, Wainer, S. S. (Autor)
Autor corporatiu: Association for Symbolic Logic
Format: Printed Book
Idioma:English
Publicat: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Col·lecció:Perspectives in logic.
Matèries:
Computable functions.
Proof theory.
Accés en línia:Table of contents only
Contributor biographical information
Publisher description
Descripció
Descripció física:xiii, 465 p. : ill. ; 24 cm.
Bibliografia:Includes bibliographical references (p. 431-455) and index.
ISBN:9780521517690
0521517699

Ítems similars