Annals of Pure and Applied Logic (formerly known as Annals of Mathematical Logic)

293542