Formal systems and recursive functions : proceedings /

Uloženo v:

Podrobná bibliografie
Korporace:	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
Další autoři:	Crossley, John N., Dummett, Michael A. E.
Médium:	Konferenční příspěvek Kniha
Jazyk:	English
Vydáno:	Amsterdam : North-Holland Pub. Co., 1965.
Edice:	Studies in logic and the foundations of mathematics
Témata:	Logic, Symbolic and mathematical. Recursive functions.

Informace o exemplářích z: CARM 1 Store
Signatura:	A2:AQ24B0 C08535
Jednotka 1	Dostupné Požadavek

Podobné jednotky