---

＜図書＞
Five papers on logic and foundations / by G.S. Ceitin... 〓et al.〓
(American Mathematical Society translations. Series 2 ; 98)

出版者	Providence, R.I. : American Mathematical Society
出版年	1971
大きさ	288 p ; 26 cm.
著者標目	Ceitin, G.S
件　名	Mathematics -- Philosophy  全ての件名で検索
内容注記	Includes bibliographies. Markov, A.A. On constructive mathematics.--Ceitin, G.S. Mean value theorems in constructive analysis,--Zaslavskii, I.D. and Ceitlin, G.S. On singular coverings and properties of constructive functions connected with them.--Maslov, S.Ju. Certain properties of E.L. Post's apparatus of canonical calculi.--Zaslavskii, I.D. Graph schemes with memory.

 類似資料