Changes

MyWikiBiz, Author Your Legacy — Sunday November 02, 2025
Jump to navigationJump to search

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,140

edits

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

Navigation menu