Formal systems and recursive functions : proceedings /

Formal systems and recursive functions : proceedings /

Gorde:
Xehetasun bibliografikoak
Egile korporatiboa: Logic Colloquium Oxford, England, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science, Symposium on Recursive Functions
Beste egile batzuk: Crossley, John N., Dummett, Michael A. E.
Formatua: Conference Proceeding Liburua
Hizkuntza:English
Argitaratua: Amsterdam : North-Holland Pub. Co., 1965.
Saila:Studies in logic and the foundations of mathematics
Gaiak:
Logic, Symbolic and mathematical.
Recursive functions.

CARM 1 Store

Aleari buruzko argibideak CARM 1 Store
Sailkapena: A2:AQ24B0 C08535
Alea 1 Eskuragarri  Erreserbatu

Antzeko izenburuak