Annals of Pure and Applied Logic

0.41959404945374