Foundation without foundationalism : a case for second-order logic - Shapiro Stewart (Calcutta Clarendon Press, 1991)
Keywords: Mathematical logic; Symbolic logic