Math 1090: Logic for Computer Science
                  Faithful Prof: Jeff  Edmonds    jeff@cse.yorku.ca    Schedule
                  This term's Webpage