Proofs and computations

Detaylı Bibliyografya
Yazar:	Schwichtenberg, Helmut 1942-
Müşterek Yazar:	Association for Symbolic Logic
Diğer Yazarlar:	Wainer, S. S.
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Ithaca, N.Y., Cambridge 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