Formal systems and recursive functions : proceedings / edited by J.N. Crossley and M.A.E. Dummett.

İsim	Formal systems and recursive functions : proceedings / edited by J.N. Crossley and M.A.E. Dummett.
Basım Tarihi:	1965
Basım Yeri	Amsterdam - North-Holland Pub. Co., 1965.
Konu	Logic, Symbolic and mathematical -- Congresses.
Tür	Kitap
Dil	Arapça
Dijital	Hayır
Yazma	Hayır
Sayfa Sayısı	320
Fiziksel Boyutlar	23 cm
Kütüphane:	The Institute for Advanced Study (IAS)
Kayıt Numarası	3100001~!49728~!1852
Lokasyon	Math Stacks
Tarih	1965
Notlar	Includes bibliographical references.. 320 p. ; 23 cm.
Seri	Studies in logic and the foundations of mathematics