Peter Bruce Andrews is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS of TPS is used to help students learn logic by interactively constructing natural deduction proofs.
Local authorities are well used to claims from people who have tripped over pavements, but in some areas there has been a marked increase too in claims regarding social care or perhaps bullying in schools. The picture with regard to claims is a very patchy one across the country.