Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleStudies in Constructive Mathematics and Mathematical Logic [electronic resource] : Part I / edited by A. O. Slisenko
ImprintBoston, MA : Springer US : Imprint: Springer, 1969
Connect to
Descript VIII, 88 p. online resource


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โ{128}{153}s Theorem for Prenex Formulas of Constructive Predicate Calculus -- Variation in the Deduction Search Tactics in Sequential Calculus -- Imbedding Operations Associated with Kripkeโ{128}{153}s โ{128}{156}Semanticsโ{128}{157} -- 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

Science Science general Science general


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram