Journal: Math. Log. Q.

Volume 27, Issue 18

273 -- 288Michael von Deutsch. Registermaschinen üBER Quotiententermmengen