|
|
|
|
|
|
by cubefox
2 days ago
|
|
|
> I'd probably recommend just going with "Introduction to Logic" by Tarski and "Metalogic. Those are not aimed at programmers, so very different and not a replacement. Just look at the free sample on the website. Besides, incompleteness theorems are probably irrelevant for programmers. |
|
|