| The following three lectures were given in the form
of a short course at the meeting Teoria della Dimostrazione e Filosofia della Logica, in
Siena, 6-9 April 1983, by the Scuola di Specializzazione in Logica Matematica of the
Università degli Studi di Siena. |
|