Formal systems and recursive functions proceedings

Formal systems and recursive functions proceedings

Detaylı Bibliyografya
Kurumsal yazarlar: Logic Colloquium Oxford, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science, Symposium on Recursive Functions
Diğer Yazarlar: Crossley, John N., Dummett, Michael A. E.
Materyal Türü: Kitap
Baskı/Yayın Bilgisi: Amsterdam North-Holland Pub. Co. 1965.
Seri Bilgileri:Studies in logic and the foundations of mathematics.
Konular:
Logic, Symbolic and mathematical.
Recursive functions.