Skip to main content
vertigo's user avatar
vertigo's user avatar
vertigo's user avatar
vertigo
  • Member for 11 years, 4 months
  • Last seen more than 11 years ago
awarded
revised
Loading…
awarded
revised
Ordinal Exponentiation in Genzen's Sequent Calculus
clarified the meaning of the question
Loading…
Loading…