Formal systems and recursive functions : proceedings /

Formal systems and recursive functions : proceedings /

Sábháilte in:
Sonraí bibleagrafaíochta
Údair chorparáideacha: 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
Rannpháirtithe: Crossley, John N., Dummett, Michael A. E.
Formáid: Imeacht comhdhála LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Amsterdam : North-Holland Pub. Co., 1965.
Sraith:Studies in logic and the foundations of mathematics
Ábhair:
Logic, Symbolic and mathematical.
Recursive functions.

CARM 1 Store

Sonraí sealbhúcháin ó CARM 1 Store
Gairmuimhir: A2:AQ24B0 C08535
Cóip 1 Ar fáil  Cuir coinneáil air

Míreanna comhchosúla