Host Lister Sinclair discusses the thinking that goes into the science of mathematics. Using animated film and studio demonstrations, he explains Mathematical logic