books on formal knowledges