Semantische Vollstandigkeit halbformaler Systeme der trans Typentheorie (1991)

by Jan Johannsen