Bibliography

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, 1910-1913.

[]


Roger Bishop Jones 2016-01-07