

Philosophy, logic, literature, essays, computing, ME. 
Logical AI. 
Sociology. Logic and Proof.  
[MacKenzie95]  Automation of Proof: A Historical and Sociological Exploration; IEEE Annals of the History of Computing, Vol.17 No.3,1995  
[MacKenzie2001]  Mechanising Proof: Computing, Risk and Trust; MIT Press, inside technology series, 2001 
Philosophy. Ethics.  
[McNaughton88]  Moral Vision Basil Blackwell, 1988 
Philosophy.  
[Magee78]  Men of Ideas  some creators of contemporary philosophy
Oxford Paperbacks, Oxford University Press, 1982, ISBN 0192830341 
O 
Philosophy. Wittgenstein.  
[Malcolm62]  Ludwig Wittgenstein  a memoire
Oxford Paperbacks, Oxford University Press, second edition 1984, ISBN 0192830422 
O 
Anarchism  
[Marshall1992]  Demanding the Impossible a history of anarchism Harper Perennial, 2008 
Set theory. History of Logic. The ignorance of Bourbaki. 
Foundations of mathematics and technical problems in logic which bear directly on the foundations of mathematics  
[Mayberry2000]  The Foundations of Mathematics in the Theory of Sets Cambridge University Press, 1988 
Exact Arithmetic. 
Philosopher. Coconspirator with Bertrand Russell in the genesis of modern analytic philosophy.  
[Moore03]  Principia Ethica Cambridge University Press, 1959  
[Moore25]  A Defence of Common Sense in [Moore93]  
[Moore93]  Selected Writings Routledge, 1993 
Philosopher. Pragmatism.  
[Mounce97]  The Two Pragmatisms Routledge, 1997 