Proofs and computations /

מידע ביבליוגרפי
Main Authors: Schwichtenberg, Helmut, Wainer, S. S. (Author)
מחבר תאגידי: Association for Symbolic Logic
פורמט: Printed Book
שפה:English
יצא לאור: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
סדרה:Perspectives in logic.
נושאים:
Computable functions.
Proof theory.
גישה מקוונת:Table of contents only
Contributor biographical information
Publisher description

אינטרנט

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

פרטי מלאי ספרים מ University of Calicut
סימן המיקום: 511.352
עותק סטטוס עדכני לא זמין

פריטים דומים