Lecture 1: Complexity of proofs and computations

Date: 
Mon, 23/03/199816:00
Lecturer: 
Prof. Alexander Razborov, Steklov Mathematics Institute, Moscow, Russia