1. |
Giorgi Japaridze Introduction to computability logic Annals of Pure and Applied Logic, 123 (2003) 1-99 |

2. |
J. Lambek What is the world of mathematics?*1 Annals of Pure and Applied Logic, 126 (2004) 149-158 |

3. |
Henryk Kotlarski The incompleteness theorems after 70 years Annals of Pure and Applied Logic, 126 (2004) 125-138 |

4. |
Solomon Feferman Tarski's conception of logic Annals of Pure and Applied Logic, 126 (2004) 5-13 |

5. |
Stanislaw Krajewski Godel on Tarski Annals of Pure and Applied Logic, 127 (2004) 303-323 |

6. |
Radim Belohlavek Concept lattices and order in fuzzy logic Annals of Pure and Applied Logic, 128 (2004) 277-298 |

7. |
Tapani Hyttinen and Gabriel Sandu Truth and definite truth Annals of Pure and Applied Logic, 126 (2004) 49-55 |

8. |
J. W. Addison Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic Annals of Pure and Applied Logic, 126 (2004) 77-92 |

9. |
J. Czelakowski and D. Pigozzi Fregean logics Annals of Pure and Applied Logic, 127 (2004) 17-76 |

10. |
Leo Esakia Intuitionistic logic and modality via topology Annals of Pure and Applied Logic, 127 (2004) 155-170 |

11. |
Jens Erik Fenstad Tarski, truth and natural languages Annals of Pure and Applied Logic, 126 (2004) 15-26 |

12. |
Melvin Fitting First-order intensional logic Annals of Pure and Applied Logic, 127 (2004) 171-193 |

13. |
Florian Lengyel More existence theorems for recursion categories Annals of Pure and Applied Logic, 125 (2004) 1-41 |

14. |
Jan Wolenski Aletheia in Greek thought until Aristotle Annals of Pure and Applied Logic, 127 (2004) 339-360 |

15. |
Jan Mycielski On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) Annals of Pure and Applied Logic, 126 (2004) 215-224 |

16. |
Giorgi Japaridze The logic of tasks*1 Annals of Pure and Applied Logic, 117 (2002) 261-293 |

17. |
Wilfrid Hodges What languages have Tarski truth definitions? Annals of Pure and Applied Logic, 126 (2004) 93-113 |

18. |
J. M. E. Hyland Proof theory in the abstract Annals of Pure and Applied Logic, 114 (2002) 43-78 |

19. |
Jaakko Hintikka Independence-friendly logic and axiomatic set theory Annals of Pure and Applied Logic, 126 (2004) 313-333 |

20. |
Ivo Duntsch and Ewa Orlowska Boolean algebras arising from information systems Annals of Pure and Applied Logic, 127 (2004) 77-98 |

21. |
Andrzej Grzegorczyk Decidability without mathematics Annals of Pure and Applied Logic, 126 (2004) 309-312 |

22. |
Lou van den Dries, Angus Macintyre and David Marker Logarithmic-exponential series Annals of Pure and Applied Logic, 111 (2001) 61-113 |

23. |
Mohammad Ardeshir, Wim Ruitenburg and Saeed Salehi Intuitionistic axiomatizations for bounded extension Kripke models Annals of Pure and Applied Logic, 124 (2003) 267-285 |

24. |
L.D.Lev D. Beklemishev Provability algebras and proof-theoretic ordinals, I Annals of Pure and Applied Logic, 128 (2004) 103-123 |

25. |
Peter Dybjer and Anton Setzer Induction-recursion and initial algebras Annals of Pure and Applied Logic, 124 (2003) 1-47 |

26. |
Suman Ganguli and Anil Nerode Effective completeness theorems for modal logic Annals of Pure and Applied Logic, 128 (2004) 141-195 |