Studies in Constructive Mathematics and Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781468489705, 9781468489682

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Normal Form for Deductions in Predicate Calculus with Equality and Functional Symbols

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_5 ◽

1969 ◽

pp. 21-23 ◽

Cited By ~ 2

Author(s):

V. A. Lifshits

Keyword(s):

Normal Form ◽

Predicate Calculus

On the Representability of Algorithmically Decidable Predicates by Rabin Machines

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_20 ◽

1969 ◽

pp. 85-88

Author(s):

R. I. Friedzon

Imbedding Operations Associated with Kripke’s “Semantics”

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_14 ◽

1969 ◽

pp. 60-63 ◽

Cited By ~ 1

Author(s):

G. E. Mints

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

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_12 ◽

1969 ◽

pp. 47-51 ◽

Cited By ~ 1

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Problem of Decidability for Some Constructive Theories of Equalities

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_8 ◽

1969 ◽

pp. 29-31 ◽

Cited By ~ 1

Author(s):

V. A. Lifshits

On the Correction of Unprovable Formulas

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_2 ◽

1969 ◽

pp. 5-8

Author(s):

G. V. Daydov

On Maximal Continuity Regulators for Constructive Functions

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_19 ◽

1969 ◽

pp. 82-84

Author(s):

A. O. Slisenko

On Imbedding Operators

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_15 ◽

1969 ◽

pp. 64-66

Author(s):

G. E. Mints ◽

V. P. Orevkov

Choice of Terms in Quantifier Rules of Constructive Predicate Calculus

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_11 ◽

1969 ◽

pp. 43-46 ◽

Cited By ~ 1

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus

Some Reduction Classes and Undecidable Theories

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_6 ◽

1969 ◽

pp. 24-25

Author(s):

V. A. Lifshits

Studies in Constructive Mathematics and Mathematical LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Normal Form for Deductions in Predicate Calculus with Equality and Functional Symbols

On the Representability of Algorithmically Decidable Predicates by Rabin Machines

Imbedding Operations Associated with Kripke’s “Semantics”

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

Problem of Decidability for Some Constructive Theories of Equalities

On the Correction of Unprovable Formulas

On Maximal Continuity Regulators for Constructive Functions

On Imbedding Operators

Choice of Terms in Quantifier Rules of Constructive Predicate Calculus

Some Reduction Classes and Undecidable Theories

Studies in Constructive Mathematics and Mathematical Logic
Latest Publications