Old Revisions

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

  • 2024/02/18 20:18 A Formulation of the Simple Theory of Types – ↷ Page name changed from c:a-formulation-of-the-simple-theory-of-types to c:a_formulation_of_the_simple_theory_of_types charles +126 B (current)
  • 2024/02/18 20:18 Show differences to current revisions A Formulation of the Simple Theory of Types – removed - external edit (Unknown date) 127.0.0.1 ±0 B
  • 2024/02/16 23:20 Show differences to current revisions c:a-formulation-of-the-simple-theory-of-types – created charles +126 B

Trace:

Print/export
QR Code
QR Code A Formulation of the Simple Theory of Types - Old revisions (generated for current page)