✦ LIBER ✦

Specialization of the use of axioms for deduction search in axiomatic theories with equality

✍ Scribed by A. Yu. Plyushkevichene

Publisher: Springer US
Year: 1972
Tongue: English
Weight: 484 KB
Volume: 1
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01117477

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Deductive Strength of Various Dis

On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory

✍ Yasuo Kanai 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB

Use of variational methods in constructi

Use of variational methods in constructing models of continuous media with irreversible processes in the special theory of relativity

✍ V.L. Berdichevskii 📂 Article 📅 1966 🏛 Elsevier Science 🌐 English ⚖ 505 KB

Locations of facilities with special pro

Locations of facilities with special programs for older substance abuse clients in the US

✍ Susan K. Schultz; Stephan Arndt; Jill Liesveld 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 76 KB 👁 1 views

## Abstract ## Background Given the growth of our aging population, developing strategies for managing late‐life alcoholism is increasingly important. ## Objective We compared substance abuse treatment facilities with and without services designed for older adults and explored the location of th

Some problems in the design of next-gene

Some problems in the design of next-generation apparatus for obtaining special-purity hydrogen using equipment with metallic membranes

✍ V. M. Makarov 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 574 KB

On a new integration rule with the Gegen

On a new integration rule with the Gegenbauer polynomials for singular integral equations used in the theory of elasticity

✍ Ladopoulos, E. G. 📂 Article 📅 1988 🏛 Springer-Verlag ⚖ 612 KB

On the use of jump conditions at a thin

On the use of jump conditions at a thin inclusion in solving problems of elasticity theory for a half-space with protuberances

✍ G. S. Kit; M. V. Khai; N. D. Grilitskii 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 323 KB