Studies in Constructive Mathematics and Mathematical Logic Part 2
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer US

9781489953292, 9781489953278

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Constructive Classification of Arithmetic Predicates and The Semantic Bases of Arithmetic

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_6 ◽

1970 ◽

pp. 22-27 ◽

Author(s):

M. M. Kipnis

Download Full-text

Errata

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_28 ◽

1970 ◽

pp. 136-136

Author(s):

A. O. Slisenko

Download Full-text

Complete Constructive Sets with Equality and some of their Properties

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_27 ◽

1970 ◽

pp. 133-135 ◽

Author(s):

V. A. Shurygin

Download Full-text

The Disjunctive Rank of Formulas in Constructive Arithmetic

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_26 ◽

1970 ◽

pp. 126-132 ◽

Author(s):

G. S. Tseitin

Download Full-text

On the Complexity of Derivation in Propositional Calculus

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_25 ◽

1970 ◽

pp. 115-125 ◽

Author(s):

G. S. Tseitin

Keyword(s):

Propositional Calculus

Download Full-text

Glivenko Classes of Sequents

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_21 ◽

1970 ◽

pp. 95-97 ◽

Author(s):

V. P. Orevkov

Keyword(s):

Glivenko Classes

Download Full-text

Admissible and Derived Rules

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_19 ◽

1970 ◽

pp. 90-91

Author(s):

G. E. Mints

Keyword(s):

Download Full-text

Implicative Complexity of Axiomatic Systems

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_17 ◽

1970 ◽

pp. 83-85

Author(s):

G. E. Mints

Keyword(s):

Axiomatic Systems

Download Full-text

The Lebesgue Integral and the Concept of Function Measurability in Constructive Analysis

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_2 ◽

1970 ◽

pp. 7-10

Author(s):

O. Demuth

Keyword(s):

Lebesgue Integral ◽

Constructive Analysis ◽

Concept Of Function

Download Full-text

Two Reductions of Hilbert’s Tenth Problem

Studies in Constructive Mathematics and Mathematical Logic Part 2 ◽

10.1007/978-1-4899-5327-8_14 ◽

1970 ◽

pp. 68-74

Author(s):

Yu V. Matiyasevich

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text