Proofs and computations /

Detaylı Bibliyografya
Asıl Yazarlar: Schwichtenberg, Helmut, Wainer, S. S. (Yazar)
Müşterek Yazar: Association for Symbolic Logic
Materyal Türü: Printed Book
Dil:English
Baskı/Yayın Bilgisi: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Seri Bilgileri:Perspectives in logic.
Konular:
Computable functions.
Proof theory.
Online Erişim:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Detaylı Erişim Bilgileri University of Calicut
Yer Numarası: 511.352
Kopya Bilgisi Konumu erişilebilir değil.

Benzer Materyaller