Changes

MyWikiBiz, Author Your Legacy — Thursday May 02, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Propositions As Types (view source)

Revision as of 04:50, 29 March 2009

4 bytes added ,  04:50, 29 March 2009
→‎Intuitionistic Propositional Calculus
Line 2,447: Line 2,447:  
|-
 
|-
 
|
 
|
−
<p>(Lambek & Scott, 49&ndash;50).
+
<p>(Lambek & Scott, 49&ndash;50).</p>
 
|}
 
|}
  
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/83317"

Navigation menu