1
$\begingroup$

In Godel's Incompleteness Theorem, his theorem is about a system of logic. Where can I find more about this study, especially the notation?

EDIT

I mean logic about systems in general. I worded the above a bit wrong.

  • 0
    Formal Logic Systems. Not any in particular, just in general. I do know that Gödel's theorems dealt with them in general. That is why I referenced his work.2013-02-07

1 Answers 1

4

Try Gödel Without Tears freely downloadable at http://www.logicmatters.net/resources/pdfs/gwt/GWT.pdf

Or get out of the library a copy of my Introduction to Gödel's Theorems.