✦ LIBER ✦

An algebraic characterization of inductive soundness in proof by consistency

✍ Scribed by Zhiqing Shao; Guoxin Song

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic characterization of fixed m

✍ David White; Alan P. Wang 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 135 KB

Deafened by silence or by the sound of f

✍ Sue Pearson 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB

Induction of Murine Hepatocyte Death by

✍ Stephan F Schlosser; Francesco Azzaroli; Tao Dao; Ravi Hingorani; I Nicholas Cri 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 268 KB

Isolation and characterization of a dopa

✍ H. Noguchi; S. Tsuzuki; K. Tanaka; H. Matsumoto; K. Hiruma; Y. Hayakawa 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 542 KB