matematica TecaLibri Stephen C. Kleene: opere 1952 Introduction to Metamathematics, Wolters-Noordhoff, Groningen, 1971, [rif.] [rif.1] [rif.2] 1967 Mathematical Logic, Wiley, New York, [rif.]
matematica
TecaLibri