You are about to access our book library "Outlines of a formalist philosophy of mathematics (Studies in logic and the foundations of mathematics) full version" .