Nr. 3 (1997): RS-03 A Definability Theorem for First Order Logic

Publiceret: 1997-01-03