Home›Books›Kenneth McAloonKenneth McAloonNo biography available.Works (3)Model theory and arithmeticOptimization and computational logic1996Calculus of one variable1972