12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 04:48, 29 March 2009
, 04:48, 29 March 2009→Classical Propositional Calculus: close bracket
|-
|-
|
|
<p>(Lambek & Scott, 50).
<p>(Lambek & Scott, 50).</p>
|}
|}