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

Welcome to Logic Matters!

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