- Start
- Product

Studies in Constructive Mathematics and Mathematical Logic
Part I
A. O. Slisenko(Editor)
Springer (Publisher)
Published on 14. January 1997
Book
Paperback/Softback
VIII, 88 pages
978-1-4684-8970-5 (ISBN)
More details
Series
Edition
Softcover reprint of the original 1st ed. 1969
Language
English
Place of publication
NY
United States
Target group
Professional and scholarly
Illustrations
VIII, 88 p.
Dimensions
Height: 28 cm
Width: 21.6 cm
ISBN-13
978-1-4684-8970-5 (9781468489705)
DOI
10.1007/978-1-4684-8968-2
Other editions
Additional editions

E-Book
03/2013
Springer
€74.89
Available for download

Book
12/1995
Kluwer Academic/Plenum Publishers
€85.55
Article exhausted; check different version
Content
Method of Establishing Deducibility in Classical Predicate Calculus.- On the Correction of Unprovable Formulas.- Lebesgue Integral in Constructive Analysis.- Sufficient Conditions of Incompleteness for the Formalization of Parts of Arithmetic.- Normal Form for Deductions in Predicate Calculus with Equality and Functional Symbols.- Some Reduction Classes and Undecidable Theories.- Deductive Validity and Reduction Classes.- Problem of Decidability for Some Constructive Theories of Equalities.- On Constructive Groups.- Invertible Sequential Variant of Constructive Predicate Calculus.- Choice of Terms in Quantifier Rules of Constructive Predicate Calculus.- Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus.- Variation in the Deduction Search Tactics in Sequential Calculus.- Imbedding Operations Associated with Kripke's "Semantics".- On Imbedding Operators.- Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus.- Sequential Modification of Constructive Logic Calculus for Normal Formulas without Structural Deduction Rules.- On Sequential Modifications of Applied Predicate Calculi.- On Maximal Continuity Regulators for Constructive Functions.- On Representability of Algorithmic ally Decidable Predicates by Rabin Machines.