Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
c:a_formulation_of_the_simple_theory_of_types [2024/02/18 20:18] – removed - external edit (Unknown date) 127.0.0.1c:a_formulation_of_the_simple_theory_of_types [2024/02/18 20:18] (current) – ↷ Page name changed from c:a-formulation-of-the-simple-theory-of-types to c:a_formulation_of_the_simple_theory_of_types charles
Line 1: Line 1:
 +===== A Formulation of the Simple Theory of Types =====
 +
 +{{pdfjs 1100px >:c:a-formulation-of-the-simple-theory-of-types.pdf}}
  

Trace:

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