§0.3 An interface using buttons?

We plan to use an interface with buttons, but we had no time to write it down. Here is how a button looks like.

In[354]:=

RowBox[{RowBox[{RowBox[{ButtonBox, [, RowBox[{StyleForm["BCK GAME FOR F6", FontColor ... IS BUTTON IS JUST AN EXPERIMENT", ,, ActiveTrue}], ]}], //, DisplayForm}], }]

Out[354]//DisplayForm=

BCK GAME FOR F6

In[355]:=

Logic = "Intuitionistic" ;

Created by Mathematica  (October 17, 2006)