Email Record: Logical foundations of mathematics for behavioral scientists /