1. Rudiments of First-Order Logic (FO);Intelligent Systems Reference Library;2023
2. Logic Programming Paradigm;Undergraduate Topics in Computer Science;2023
3. Logic Discovered and Logic Imposed (A Purim Story);Mathematical Knowledge, Objects and Applications;2022-12-08
4. Did Turing Stand on Gödel’s Shoulders?;The Mathematical Intelligencer;2022-06-04
5. Copyright Page;The Nature of Physical Computation;2022-03-18