Annals of Pure and Applied Logic, ‎0168-0072

Journal