PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Corrections for proof that $C_\cup$ and $C_\cap$ are consequence operators
1. wording by mps on 2006-12-22 23:57:47 (accepted) (4)

[ back ]