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