Revisions - MathOverflow

MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Return to Answer

show/hide this revision's text

1

[made Community Wiki]

view source

answered Apr 3 2011 at 18:03

Stefan Geschke
10.6k●1●15●37

Completeness theorem for first order logic.