Proofs and computations /

Bibliografiset tiedot
Päätekijät: Schwichtenberg, Helmut, Wainer, S. S. (Tekijä)
Yhteisötekijä: Association for Symbolic Logic
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Sarja:Perspectives in logic.
Aiheet:
Computable functions.
Proof theory.
Linkit:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Saatavuus: University of Calicut
Hyllypaikka: 511.352
Nide Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia