Title of article :
A general mathematics of names
Author/Authors :
Murdoch J. Gabbay، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Names , Set theory , Fraenkel–Mostowski set theory , NEW quantifier , Nominal techniques , Alpha-conversion
Journal title :
Information and Computation
Journal title :
Information and Computation