ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Studies in Constructive Mathematics and Mathematical Logic
Latest Publications
TOTAL DOCUMENTS
20
(FIVE YEARS 0)
H-INDEX
2
(FIVE YEARS 0)
Published By Springer US
9781468489705, 9781468489682
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
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
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close