✦ LIBER ✦

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

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Problem of Deducibility in the Const

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

A New Algorithm of Deducibility in the C

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

N-Lattices and Constructive Logic with S

✍ Review by: David Nelson 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

A Method of Describing the Truth-Functio

✍ Review by: I. Rosenberg 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 110 KB

Airflow behind strong shock front with a

✍ L. M. Biberman; V. S. Vorob'ev; A. N. Lagar'kov; V. P. Stulov; G. F. Telenin; E. 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 739 KB