Jack Palmer > Recent Status Updates

Showing 1-12 of 12

Jack Palmer

Jack Palmer is on page 57 of 431 of A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

— Nov 25, 2025 06:00AM Add a comment

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Jack Palmer

Jack Palmer is on page 37 of 309 of Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

— Nov 25, 2025 03:50AM Add a comment

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 of Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

— Nov 24, 2025 06:34PM Add a comment

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 13 of 309 of Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

— Nov 24, 2025 04:45AM Add a comment

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 53 of 431 of A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

— Nov 24, 2025 04:32AM Add a comment

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Jack Palmer

Jack Palmer is on page 37 of 431 of A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

— Nov 23, 2025 06:33AM Add a comment

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Jack Palmer

Jack Palmer is on page 55 of Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

— Nov 18, 2025 01:12AM Add a comment

Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

Jack Palmer

Jack Palmer is on page 19 of 440 of Mathematics and Computation: A Theory Revolutionizing Technology and Science

— Nov 17, 2025 03:05AM Add a comment

Mathematics and Computation: A Theory Revolutionizing Technology and Science

Jack Palmer

Jack Palmer is on page 49 of Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

— Nov 16, 2025 04:48AM Add a comment

Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

Jack Palmer

Jack Palmer is 13% done with Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

— Nov 16, 2025 02:57AM Add a comment

Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

Jack Palmer

Jack Palmer is 11% done with Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

— Nov 15, 2025 05:30AM Add a comment

Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

Jack Palmer

Jack Palmer is 6% done with Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

— Nov 13, 2025 01:52AM Add a comment

Set Theory: An Introduction to Axiomatic Reasoning (Textbooks in Mathematics)

Follow Jack's updates via RSS