✦ LIBER ✦

A Calculus and logic of resources and processes

✍ Scribed by David Pym; Chris Tofts

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logical Process Calculus

✍ Ranee Cleaveland; Gerald Lüttgen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 225 KB

Walter Pitts and “A Logical Calculus”

✍ Mark Schlatter; Ken Aizawa 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 300 KB

A Logical Calculus of Meaning and Synony

✍ Yiannis N. Moschovakis 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 598 KB

Logic as calculus and logic as language

✍ Jean Heijenoort 📂 Article 📅 1967 🏛 Springer Netherlands 🌐 English ⚖ 389 KB

Time and logic: A calculus of binary eve

✍ H. Issendorff 📂 Article 📅 1995 🏛 Springer Vienna 🌐 English ⚖ 723 KB

Resource allocation and voter calculus i

✍ M. Garrett Roth 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 469 KB