Jack Palmer’s Reviews > Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas > Status Update

Jack Palmer
Jack Palmer is on page 13 of 309
— Nov 24, 2025 04:45AM
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

flag

Jack’s Previous Updates

Jack Palmer
Jack Palmer is on page 37 of 309
— Nov 25, 2025 03:50AM
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)


Jack Palmer
Jack Palmer is on page 20 of 309
— Nov 24, 2025 06:34PM
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)


Post a comment »
Comments

No comments have been added yet.


All of Jack’s status updates
Everyone’s updates from this book