12,080
edits
Changes
format epigraph
{{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}}
{{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}}
__NOTOC__
__NOTOC__
===Theory of Control and Control of Theory===
===Theory of Control and Control of Theory===
{| 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>
|-
| align="right" | — Walt Whitman, ''Leaves of Grass'', [Whi, 88]
|}
{{-}}
===Propositions as Types and Higher Order Types===
===Propositions as Types and Higher Order Types===