Գրեք սա: Annals of pure and applied logic.