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

User Profile

[wp_ulike_pro_completeness_profile]

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