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 |