The Logic Of Names: An Introduction To B door