Defending The Faith Master
Soundness and Completeness of the NRB verification logic (OpenCert 2013)
An approach to understanding psychotronics
Detlovs Podnieks Math Logic y
Detlovs Podnieks Math Logic
Com1005 Machines and Intelligence Amanda Sharkey.
Understanding Psychotronics
Com1005 Machines and Intelligence