 Jona

Roger Bishop Jones.
Creative foundations for program verification.
http://www.rbjones.com/rbjpub/rbjcv/papers/dtc25.htm.
 Jonb

Roger Bishop Jones.
Expert systems in decision support.
http://www.rbjones.com/rbjpub/rbjcv/papers/wp03.htm.
 Jonc

Roger Bishop Jones.
Logical foundations and formal verification.
http://www.rbjones.com/rbjpub/rbjcv/papers/dtc110.htm.
 Jond

Roger Bishop Jones.
Persistent applicative heaps and knowledge bases.
http://www.rbjones.com/rbjpub/rbjcv/papers/wp32.htm.
 Jon10a

Roger Bishop Jones.
An introduction to proofpower.
RBJones.com, 2010.
http://www.rbjones.com/rbjpub/pp/doc/t015.pdf.
 Jon10b

Roger Bishop Jones.
The story of proofpower.
RBJones.com, 2010.
http://www.rbjones.com/rbjpub/pp/doc/t014.pdf.
 Rus08

Bertrand Russell.
Mathematical logic as based on the theory of types.
1908.
 Rus82

Peter Russell.
The Awakening Earth: The Global Brain.
Routledge Kegan and Paul, 1982.
 WR13

Alfred North Whitehead and Bertrand Russell.
Principia Mathematica.
Cambridge University Press, 19101913.
[]
Roger Bishop Jones
20160107