Why Nostr? What is Njump?
2024-04-24 15:56:17

Greg Restall on Nostr: This time next week I’m giving a talk (on natural deduction, classical, ...

This time next week I’m giving a talk (on natural deduction, classical, constructive and substructural logics, logical pluralism and what things might mean) to the logic group at Leeds. If you’re in that part of the world, I’d love to see you there.

https://logic.leeds.ac.uk/events/greg-restall-university-of-st-andrews/
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7