2026 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Jan 18 18:56:32 MST 2026
Ending: Sun Jan 18 18:56:32 MST 2026
Messages: 1

• [Alta-Logic] Graduate course on proof theory this term   Richard Zach

Last message date: Sun Jan 18 18:56:32 MST 2026
Archived on: Sun Jan 18 18:56:36 MST 2026

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...