Back to Results
First PageMeta Content



SECOND-ORDER LOGIC, OR: HOW I LEARNED TO STOP WORRYING AND LOVE THE INCOMPLETENESS THEOREMS ETHAN JERZAK Abstract. First-order logic enjoys a nearly universal status as the language in which mathematics is doneā€”or at l
Add to Reading List

Document Date: 2009-10-11 16:26:20


Open Document

File Size: 225,35 KB

Share Result on Facebook
UPDATE