Formal systems and recursive functions proceedings

Formal systems and recursive functions proceedings

Chi tiết về thư mục
Nhiều tác giả của công ty: 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
Tác giả khác: Crossley, John N., Dummett, Michael A. E.
Định dạng: Sách
Được phát hành: Amsterdam North-Holland Pub. Co. 1965.
Loạt:Studies in logic and the foundations of mathematics.
Những chủ đề:
Logic, Symbolic and mathematical.
Recursive functions.