Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Propositions As Types
(view source)
Revision as of 04:48, 29 March 2009
4 bytes added
,
04:48, 29 March 2009
→Classical Propositional Calculus
:
close bracket
Line 2,462:
Line 2,462:
|-
|-
|
|
−
<p>(Lambek & Scott, 50).
+
<p>(Lambek & Scott, 50).
</p>
|}
|}
Jon Awbrey
12,080
edits