An Institution-Independent Proof of the Robinson Consistency Theorem Academic Article uri icon

publication date

  • February 13, 2007