Elementi di storia della logica formale