Non User
  Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business
Non User
 Industries Finance Tax

Home > Ehrenfeucht game


The Ehrenfeucht game is a proof technique from mathematical logic.

http://www.maa.org/mathland/mathtrek_3_19_01.html informal description of the game itself, not much about how it's used in logic proofs.

Substubs



Politics Business Finance
Ehrenfeucht Game Logic Mathematical Link Technique

Topics: Ehrenfeucht Game Logic Mathematical Link Technique External...

Ehrenfeucht gameThe Ehrenfeucht game is a proof technique from mathematical logic. External link: http://www. org/mathland/mathtrek_3_19_01. html informal description of the game itself, not much about how it's used in logic proofs.  


Non User