Host Lister Sinclair discusses the sort of thinking that goes into the science of mathematics. Using animatedfilm and studio demonstrations, he explains what mathematical logic is.
