matematica TecaLibri J. Barwise: opere 1977 Handbook of Mathematical Logic, North-Holland, [rif.] a cura di: idem 1987 The liar, Oxford University Press, [rif.] con: J. Etchemendy