Proofs and computations /

Detalhes bibliográficos
Main Authors: Schwichtenberg, Helmut, Wainer, S. S. (Author)
Autor Corporativo: Association for Symbolic Logic
Formato: Printed Book
Idioma:English
Publicado em: Ithaca, NY : Cambridge ; New York : 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
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Detalhes do Exemplar University of Calicut
Área/Cota: 511.352
Cód. Barras: Informação em tempo real indisponível

Registos relacionados