Changes

7 bytes added ,  18:16, 5 April 2010
Line 268: Line 268:  
* [[Monadic predicate calculus]]
 
* [[Monadic predicate calculus]]
 
* [[Propositional calculus]]
 
* [[Propositional calculus]]
* [[Truth table]]
+
* [[Zeroth order logic]]
 
{{col-end}}
 
{{col-end}}
  
12,080

edits