2 Jul
2023
2 Jul
'23
6:24 a.m.
Hi all, Does anyone have a copy of Anders Kock's 1970 manuscript: *On a Theorem of Läuchli concerning Proof Bundles.* Thanks, Jim Lipton [For admin and other information see: http://www.mta.ca/~cat-dist/ ]