2026-04-08 18:54 UTC
@sainati@types.pl Which book is this?
Replies (1)
-
@sainati@types.pl 2026-04-08 18:59
@robinadams@mathstodon.xyz Handbook of Mathematical Logic, specifically the section on the incompletness theorems
2026-04-08 18:54 UTC
@robinadams@mathstodon.xyz Handbook of Mathematical Logic, specifically the section on the incompletness theorems