We have new chapters on non-standard (and standard) models of arithmetic and on second-order logic. First drafts, so please provide […]
We have new chapters on non-standard (and standard) models of arithmetic and on second-order logic. First drafts, so please provide […]