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.

[]