Five Papers on Logic and Foundations - American Mathematical Society Translations: Series 2
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By American Mathematical Society

9780821817995, 9781470433109

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concerning a generalized principle of constructive selection

Five Papers on Logic and Foundations - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/099/04 ◽

1972 ◽

pp. 228-232

Author(s):

I. D. Zaslavskiĭ ◽

G. S. Ceĭtin

Download Full-text

A constructive calculus of statements with strong negation

Five Papers on Logic and Foundations - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/099/02 ◽

1972 ◽

pp. 40-82

Author(s):

N. N. Vorob′ev

Keyword(s):

Strong Negation

Download Full-text

Calculi of constructive logic with subordinate variables

Five Papers on Logic and Foundations - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/099/03 ◽

1972 ◽

pp. 83-227 ◽

Author(s):

A. V. Idel′son

Keyword(s):

Constructive Logic

Download Full-text

A method of presenting the theory of algorithms and enumerable sets

Five Papers on Logic and Foundations - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/099/01 ◽

1972 ◽

pp. 1-39 ◽

Author(s):

G. S. Ceĭtin

Download Full-text

Concerning the constructive interpretation of auxiliary formulas. I

Five Papers on Logic and Foundations - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/099/05 ◽

1972 ◽

pp. 233-275

Author(s):

N. A. Šanin

Download Full-text