Peter B. Andrews

• An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
• A transfinite type theory with type variables
• Facies and genesis of a hurricane-washover fan
• Facies and genesis of a hurricane-washover fan, St. Joseph Island, Central Texas Coast