Referenced in:

• Mathematical-Logic