Studies in Constructive Mathematics and Mathematical Logic Part 2
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

Author(s):

M. M. Kipnis

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

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 ◽

Cited By ~ 1

Author(s):

V. A. Shurygin

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 ◽

Cited By ~ 1

Author(s):

G. S. Tseitin

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 ◽

Cited By ~ 218

Author(s):

G. S. Tseitin

Keyword(s):

Propositional Calculus

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 ◽

Cited By ~ 1

Author(s):

V. P. Orevkov

Keyword(s):

Glivenko Classes

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):

Derived Rules

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

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

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

Studies in Constructive Mathematics and Mathematical Logic Part 2Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

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

Errata

Complete Constructive Sets with Equality and some of their Properties

The Disjunctive Rank of Formulas in Constructive Arithmetic

On the Complexity of Derivation in Propositional Calculus

Glivenko Classes of Sequents

Admissible and Derived Rules

Implicative Complexity of Axiomatic Systems

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

Two Reductions of Hilbert’s Tenth Problem

Studies in Constructive Mathematics and Mathematical Logic Part 2
Latest Publications