Proofs and computations /

Podrobná bibliografie
Hlavní autoři: Schwichtenberg, Helmut, Wainer, S. S. (Autor)
Korporativní autor: Association for Symbolic Logic
Médium: Printed Book
Jazyk:English
Vydáno: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Edice:Perspectives in logic.
Témata:
Computable functions.
Proof theory.
On-line přístup:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Informace o exemplářích z: University of Calicut
Signatura: 511.352
Jednotka Neznámá aktuální dostupnost

Podobné jednotky