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