Skip to content

MAIN SITE >>
BLOG
IFL
GÖDEL
CATS
TYL
ARCHIVE
LaTeX
About PS

Search for:

Home
Blog
Formal Logic
Gödel’s Theorems
Category theory
Teach Yourself Logic
Archive
LaTeX for Logicians
About PS

Search for:

Home
Blog
Formal Logic
Gödel’s Theorems
Category theory
Teach Yourself Logic
Archive
LaTeX for Logicians
About PS

44998316_2179371025666357_2521248495420047360_n

Leave a Comment / By Peter Smith / September 15, 2022

Post navigation

← Previous Media

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment *

Name*

Email*

Website

Save my name, email, and website in this browser for the next time I comment.

Δ

Subscribe

Get email notifications of posts

Mastodon

Follow me here!

Recent comments

Chris Grant on Categories for the Working Philosopher: 15–18
Peter Smith on Teach Yourself Logic, #10. The Big Books — Shoenfield 1967
Peter Smith on Avigad’s MLC — First order logic
roger vajda on Avigad’s MLC — First order logic
Rowsety Moid on Categories for the Working Philosopher: 1–3
Eduardo Ugalde on Teach Yourself Logic, #10. The Big Books — Shoenfield 1967
Peter Smith on Categories for the Working Philosopher: 1–3
Peter F on Categories for the Working Philosopher: 1–3
Matt Wilbur on Annals of Mathematics and Philosophy
Hannah on In concert: Noa Wildschut plays Bach

Site news

May 21. Updated corrections page for Beginning Math Logic.

Apr 20. I have let the domain name latexforlogicians.net expire, as it was very little used.

Copyright © 2023 Logic Matters | Powered by Astra WordPress Theme

Scroll to Top