Annals of Pure and Applied Logic

Publisher: North-Holland
Place: Amsterdam
Identifiers: