The University of Arizona

Office of Student Computing Resources

University of California UCLALogic 2010

Logic 2010 is a system for computer and Internet-assisted classroom instruction in first order logic. Versions of the program have been used at UCLA since 1985 and since then have been adopted at 30 other institutions.
Where Can I Find It?
ECE 228
Shantz 338
ENGR 318
Nugent 15b
McClelland Park 102
Campus Rec
Student Union Memorial Center
Park Student Union