View of Logicism's role in modern mathematics: A formal verification approach

Return to Article Details Logicism's role in modern mathematics: A formal verification approach Download Download PDF