𝔖 Bobbio Scriptorium

✦ LIBER ✦

The Problem of Deducibility in the Constructive Propositional Calculus with Strong Negationby N. N. Vorob'év

✍ Scribed by Review by: Andrzej Mostowski

Book ID: 124954013
Publisher: Association for Symbolic Logic
Year: 1953
Tongue: English
Weight: 196 KB
Volume: 18
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2267412

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Constructive Propositional Calculus wi

A Constructive Propositional Calculus with Strong Negationby N. N. Vorob'év

✍ Review by: Andrzej Mostowski 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 302 KB

A New Algorithm of Deducibility in the C

A New Algorithm of Deducibility in the Constructive Propositional Calculusby N. N. Vorob'év

✍ Review by: E. M. Fels 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

A contact problem in the theory of elast

A contact problem in the theory of elasticity with a single controlling parameter

✍ A. B. Efimov; V. N. Vorob'ev 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 293 KB

Problems and conclusions associated with

Problems and conclusions associated with construction of the pilot mine at Bogdanka (in Polish) : Gola, Z; Zastawny, S Proj Probl Budownictwo Weglowe V27, N9, Dec 1982, P36–40

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 206 KB 👁 3 views

Engineering, geological and mineralogica

Engineering, geological and mineralogical problems with the construction of several tunnels in the course of the tauern highway (Salzburg, Austria) (in German) : Nossing, L; Schramm, J M; Stinglhammer, H Rock Mech, V11, N3, Feb 1979, P151–176

📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 110 KB

(Nékotoryé voprosy, svazánnyé s problémo

(Nékotoryé voprosy, svazánnyé s problémoj razréšéniá dlá isčisléniá strogoj implikacii) Some Questions Connected with the Decision Problem for Ackermann's System of Rigorous Implication.by V. V. Dončénko;(0 sistémé aksiom isčisléniá strogoj implikacii) On a Set of Axioms for the System of Rigorous Implication.by L. L. Makisimova;(Formal'nyé vyvody v isčislénii strogoj implikacii )Formal Deductions in the System of Rigorous Implication.by L. L. Maksimova

✍ Review by: Alan Ross Anderson 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 303 KB