𝔖 Bobbio Scriptorium

✦ LIBER ✦

A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi

✍ Scribed by Wojciech Zielonka

Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 282 KB
Volume: 48
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370632

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The integral-transform method for solvin

The integral-transform method for solving neutron transport problems with general anisotropic scattering in a cylinder of finite height

✍ V. Kumar; D.C. Sahni 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 741 KB

A general method for solving the problem

A general method for solving the problem of both open and closed multiple cracks

✍ Han Xueli; Wang Tzuchiang 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 184 KB

Clinical problem solving and therapeutic

Clinical problem solving and therapeutic noncompliance: A heuristic for enhancing the clinician's generation of alternatives

✍ Thomas E. Schacht 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 525 KB

A finite difference method for solving t

A finite difference method for solving the third boundary value problem for elliptic and parabolic equations in an arbitrary region. Iterative solution of finite difference equations. I

✍ G.P. Astrakhantsev 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 848 KB

Solution of stiffened problems for a fin

Solution of stiffened problems for a finite internally cracked plate by using complex potentials and the generalized variational method

✍ Chen Yi-Heng 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 859 KB

A general grapho-analytical method for s

A general grapho-analytical method for solving the two-dimensional problem of the hydrodynamic theory of lubrication and an approximate method of solving the contact-hydrodynamic problem : (in Russian) D. S. Kodnir, Trudi Kuibyshevsk. Aviats. Inst., (12) (1961) 333–354; (Ref. Zb. Mekb.). Source: Appl. Mech. Rev., 17 (1) (1964) 86

📂 Article 📅 1964 🏛 Elsevier Science 🌐 English ⚖ 111 KB