The foundations of intuitionistic mathematics, especially in relation to recursive functions /

The foundations of intuitionistic mathematics, especially in relation to recursive functions /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Kleene, Stephen Cole, 1909-
Այլ հեղինակներ: Vesley, Richard Eugene, 1932-
Ձևաչափ: Գիրք
Լեզու:English
Հրապարակվել է: Amsterdam : North-Holland Pub. Co., 1965.
Շարք:Studies in logic and the foundations of mathematics
Խորագրեր:
Metamathematics.
Recursive functions.

CARM 1 Store

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

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