↓ Skip to main content

Studies in Constructive Mathematics and Mathematical Logic

Overview of attention for book
Cover of 'Studies in Constructive Mathematics and Mathematical Logic'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Method of Establishing Deducibility in Classical Predicate Calculus
  3. Altmetric Badge
    Chapter 2 On the Correction of Unprovable Formulas
  4. Altmetric Badge
    Chapter 3 Lebesgue Integral in Constructive Analysis
  5. Altmetric Badge
    Chapter 4 Sufficient Conditions of Incompleteness for the Formalization of Parts of Arithmetic
  6. Altmetric Badge
    Chapter 5 Normal Form for Deductions in Predicate Calculus with Equality and Functional Symbols
  7. Altmetric Badge
    Chapter 6 Some Reduction Classes and Undecidable Theories
  8. Altmetric Badge
    Chapter 7 Deductive Validity and Reduction Classes
  9. Altmetric Badge
    Chapter 8 Problem of Decidability for Some Constructive Theories of Equalities
  10. Altmetric Badge
    Chapter 9 On Constructive Groups
  11. Altmetric Badge
    Chapter 10 Invertible Sequential Variant of Constructive Predicate Calculus
  12. Altmetric Badge
    Chapter 11 Choice of Terms in Quantifier Rules of Constructive Predicate Calculus
  13. Altmetric Badge
    Chapter 12 Analog of Herbrand’s Theorem for Prenex Formulas of Constructive Predicate Calculus
  14. Altmetric Badge
    Chapter 13 Variation in the Deduction Search Tactics in Sequential Calculi
  15. Altmetric Badge
    Chapter 14 Imbedding Operations Associated with Kripke’s “Semantics”
  16. Altmetric Badge
    Chapter 15 On Imbedding Operators
  17. Altmetric Badge
    Chapter 16 Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus
  18. Altmetric Badge
    Chapter 17 Sequential Modification of Constructive Logic Calculus for Normal Formulas without Structural Deduction Rules
  19. Altmetric Badge
    Chapter 18 On Sequential Modifications of Applied Predicate Calculi
  20. Altmetric Badge
    Chapter 19 On Maximal Continuity Regulators for Constructive Functions
  21. Altmetric Badge
    Chapter 20 On the Representability of Algorithmically Decidable Predicates by Rabin Machines
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
5 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Studies in Constructive Mathematics and Mathematical Logic
Published by
Springer US, January 1969
DOI 10.1007/978-1-4684-8968-2
ISBNs
978-1-4684-8970-5, 978-1-4684-8968-2
Editors

Slisenko, A. O.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.