Studies in Constructive Mathematics and Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781489956323, 9781489956309

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Representability of Algorithmically Decidable Predicates by Rabin Machines

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_20 ◽

1969 ◽

pp. 85-88

Author(s):

R. I. Friedzon

Analog of Herbrand’s Theorem for Prenex Formulas of Constructive Predicate Calculus

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_12 ◽

1969 ◽

pp. 47-51

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Choice of Terms in Quantifier Rules of Constructive Predicate Calculus

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_11 ◽

1969 ◽

pp. 43-46

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus

On Maximal Continuity Regulators for Constructive Functions

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_19 ◽

1969 ◽

pp. 82-84

Author(s):

A. O. Slisenko

Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_16 ◽

1969 ◽

pp. 67-69

Author(s):

V. P. Orevkov

Keyword(s):

Predicate Variable

On Constructive Groups

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_9 ◽

1969 ◽

pp. 32-35

Author(s):

V. A. Lifshits

Some Reduction Classes and Undecidable Theories

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_6 ◽

1969 ◽

pp. 24-25

Author(s):

V. A. Lifshits

On the Correction of Unprovable Formulas

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_2 ◽

1969 ◽

pp. 5-8

Author(s):

G. V. Daydov

On Imbedding Operators

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_15 ◽

1969 ◽

pp. 64-66

Author(s):

G. E. Mints ◽

V. P. Orevkov

Variation in the Deduction Search Tactics in Sequential Calculi

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_13 ◽

1969 ◽

pp. 52-59 ◽

Cited By ~ 1

Author(s):

G. E. Mints

Studies in Constructive Mathematics and Mathematical LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

On the Representability of Algorithmically Decidable Predicates by Rabin Machines

Analog of Herbrand’s Theorem for Prenex Formulas of Constructive Predicate Calculus

Choice of Terms in Quantifier Rules of Constructive Predicate Calculus

On Maximal Continuity Regulators for Constructive Functions

Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus

On Constructive Groups

Some Reduction Classes and Undecidable Theories

On the Correction of Unprovable Formulas

On Imbedding Operators

Variation in the Deduction Search Tactics in Sequential Calculi

Studies in Constructive Mathematics and Mathematical Logic
Latest Publications