Actions

User

::Xiong

::concepts

Xiong::image    B-graph::barnstar    Cabinet::bench    Drawn::strategy    Potting::sandbox    Thumb::rules

{{#invoke:Sidebar|sidebar | class = plainlist | title = Transformation rules

  | headingstyle = background:#eaeaff;
  | contentstyle = padding-top:0.15em;

| heading1style = background:#ddf;font-size:110%; border-bottom:1px #fefefe solid; | heading1 = Propositional calculus

  | heading2 = Rules of inference
  | content2 =
  | heading3 = Rules of replacement
| content3 =

| heading4style = background:#ddf;font-size:110%; | heading4 = Predicate logic | content4 =

}}

Error creating thumbnail:
Potting bench drawn in cabinet view

User:Xiong sections
Intro  

PREVIOUS: IntroNEXT: Intro
<<>>