A program playing Tarski games.

y___ stays for zero or more x_, x'_, x"_, ... .

In[352]:=

Tarski[A_, y___] := BCK[A, "MaterialImplication, CutFree, Intuitionistic", "Tarski", y] ;

In[353]:=

Created by Mathematica  (October 17, 2006)