Richard Zach /
npub1tq9…99nj
2024-03-21 14:27:03
Author Public Key
npub1tq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqr499njPublished at
2024-03-21 14:27:03Event JSON
{
"id": "318500d34754bcc2b70344619c1ae22b297e1397ac2ea3b0592b60a9ff5447b3",
"pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
"created_at": 1711031223,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"proxy",
"https://mathstodon.xyz/users/rrrichardzach/statuses/112134142259945743",
"activitypub"
]
],
"content": "Bill Tait https://richardzach.org/2007/10/classic-logic-papers-pt-3-normal-derivability-in-classical-logic/ #logic\n\nhttps://media.mathstodon.xyz/media_attachments/files/112/134/138/485/678/564/original/dda144d019ffec1b.jpeg",
"sig": "f29d2dcdc0cc9b6c49994369d13b30ca4dbc8e114e195279c935c1a1370e967322c3368762c2f8aae77189ab517a6b01f4d5a24b786ff37304a47a74cc378352"
}