𝔖 Bobbio Scriptorium

✦ LIBER ✦

Extending Bachmair's method for proof by consistency to the final algebra

✍ Scribed by Olav Lysne

Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 755 KB
Volume: 51
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(94)00109-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The method by which the corrected sikes'

The method by which the corrected sikes's tables in use in India for determining the proof-strengths of spirits at temperatures from 40° F. to 140°F. By sikes's hydrometer where calculated

✍ Carter, F. G. 📂 Article 📅 1914 🏛 Wiley (John Wiley & Sons) ⚖ 213 KB

Contributions to the Research of the Act

Contributions to the Research of the Active Constituents of Cape Aloes. By Hans Kiefer, Apothecary at Basel. One of the purposes the dissertation is the acquisition of the Doctor's degree. Thanks are extended to members of the faculty of Pharmacy‐Prof. Dr. H. Zornig and Dr. P. Casparis. Among the references cited is the foregoing dissertation, the method of C. H. Briggs for the estimation of aloin in aloes, p. 774 of September JOUR. PH. A., 1923, and reinvestigation of the proximate composition of Rhamnus frangula, John A. Gunton and Dr. George D. Beal, September JOUR. A. PH. A., 1923, pp. 669‐682

📂 Article 📅 1926 🏛 Elsevier ⚖ 97 KB 👁 2 views