✦ LIBER ✦

On the Toggling-Branching Recurrence of Computability Logic

✍ Scribed by Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu…

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new face of the branching recurrence o

✍ Giorgi Japaridze 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 210 KB

The countable versus uncountable branchi

✍ Wenyan Xu; Sanyang Liu 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 306 KB

The temporal logic of branching time

✍ Mordechai Ben-Ari; Amir Pnueli; Zohar Manna 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 948 KB

Toggle Fixation For Recurrent Dislocatio

✍ D. D. LAWSON 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB

Molecular logic computing model based on

✍ Cheng Zhang, LiNa Ma, YaFei Dong, Jing Yang, Jin Xu 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 977 KB

Logic, Foundations of Mathematics, and C

✍ Butts, Robert E.; Hintikka, Jaakko 📂 Article 📅 1977 🏛 Springer Netherlands ⚖ 705 KB