From rzach at ucalgary.ca  Sun Jan 18 18:56:32 2026
From: rzach at ucalgary.ca (Richard Zach)
Date: Mon, 19 Jan 2026 01:56:32 +0000
Subject: [Alta-Logic] Graduate course on proof theory this term
Message-ID: <YT2PR01MB856501BDBAF00BA739E9B2F8A288A@YT2PR01MB8565.CANPRD01.PROD.OUTLOOK.COM>

I'm teaching a graduate course on proof theory (PHIL 579/679) this term. It meets TuTh 12:30-1 in Hunter Student Commons 334. Happy to waive the prereq (PHIL 279 Logic I) for undergrad math and CPSC students who can deal with some logic and will sign whatever forms for grad students. Anyone interested is also welcome to sit in. Email me if you want to be added to the D2L.

-R

Richard Zach<https://richardzach.org/>, Professor of Philosophy
Book time to meet with me<https://outlook.office.com/bookwithme/user/88799128dc9e42f996f147dd2db846e6 at ucalgary.ca?anonymous&ep=signature>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20260119/89f1f3e9/attachment.html>