MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
21 bytes added
, 15:38, 1 July 2008
Line 1: |
Line 1: |
| {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} | | {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} |
− |
| |
| __NOTOC__ | | __NOTOC__ |
| | | |
Line 65: |
Line 64: |
| ===Theory of Control and Control of Theory=== | | ===Theory of Control and Control of Theory=== |
| | | |
− | <blockquote>
| + | {| align="right" |
| + | | |
| <p>You will hardly know who I am or what I mean,<br> | | <p>You will hardly know who I am or what I mean,<br> |
| But I shall be good health to you nevertheless,<br> | | But I shall be good health to you nevertheless,<br> |
| And filter and fibre your blood.</p> | | And filter and fibre your blood.</p> |
− | | + | |- |
− | <p>Walt Whitman, ''Leaves of Grass'', [Whi, 88]</p>
| + | | align="right" | — Walt Whitman, ''Leaves of Grass'', [Whi, 88] |
− | </blockquote>
| + | |} |
| + | {{-}} |
| | | |
| ===Propositions as Types and Higher Order Types=== | | ===Propositions as Types and Higher Order Types=== |