Five Papers on Logic and Foundations ( American Mathematical Society Translations - Series 2 )

Publication series ：American Mathematical Society Translations - Series 2

Author： G. S. Ceĭtin;A. A. Markov;S. Ju. Maslov  

Publisher： American Mathematical Society‎

Publication year： 1971

E-ISBN: 9781470433093

P-ISBN(Hardback):  9780821818985

Subject： O141 (mathematical logic) symbolic logic.

Keyword： 暂无分类

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Five Papers on Logic and Foundations

Chapter

Cover

Title page

Copyright page

Contents

On constructive mathematics

Mean value theorems in constructive analysis

On singular coverings and properties of constructive functions connected with them

Certain properties of E. L. Post’s apparatus of canonical calculi

Graph schemes with memory

Back Cover

The users who browse this book also browse