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. V. Idel′son;N. A. Šanin  

Publisher： American Mathematical Society‎

Publication year： 1972

E-ISBN: 9781470433109

P-ISBN(Hardback):  9780821817995

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

A method of presenting the theory of algorithms and enumerable sets

A constructive calculus of statements with strong negation

Calculi of constructive logic with subordinate variables

Concerning a generalized principle of constructive selection

Concerning the constructive interpretation of auxiliary formulas. I

Back Cover

The users who browse this book also browse