Formal systems and recursive functions : proceedings /

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակներ:	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
Այլ հեղինակներ:	Crossley, John N., Dummett, Michael A. E.
Ձևաչափ:	Գիտաժողովի նյութեր Գիրք
Լեզու:	English
Հրապարակվել է:	Amsterdam : North-Holland Pub. Co., 1965.
Շարք:	Studies in logic and the foundations of mathematics
Խորագրեր:	Logic, Symbolic and mathematical. Recursive functions.

Պահումների մանրամասները CARM 1 Store
Դասիչ:	A2:AQ24B0 C08535
Պատճեն 1	Հասանելի է Տեղադրեք պահում

Նմանատիպ նյութեր