| 1 | -- | 2 | Anil Nerode. Preface |
| 3 | -- | 4 | Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski. Editorial |
| 5 | -- | 13 | Solomon Feferman. Tarski s conception of logic |
| 15 | -- | 26 | Jens Erik Fenstad. Tarski, truth and natural languages |
| 27 | -- | 37 | Mario Gómez-Torrente. The indefinability of truth in the "Wahrheitsbegriff" |
| 39 | -- | 48 | Henryk Hiz. Reexamination of Tarski s semantics |
| 49 | -- | 55 | Tapani Hyttinen, Gabriel Sandu. Truth and definite truth |
| 57 | -- | 76 | Ilkka Niiniluoto. Tarski s definition and truth-makers |
| 93 | -- | 113 | Wilfrid Hodges. What languages have Tarski truth definitions? |
| 115 | -- | 123 | Roman Kossak. Undefinability of truth and nonstandard models |
| 125 | -- | 138 | Henryk Kotlarski. The incompleteness theorems after 70 years |
| 139 | -- | 148 | Dexter Kozen. Computational inductive definability |
| 149 | -- | 158 | Joachim Lambek. What is the world of mathematics? |
| 159 | -- | 213 | Johann A. Makowsky. Algorithmic uses of the Feferman-Vaught Theorem |
| 215 | -- | 224 | Jan Mycielski. On the tension between Tarski s nominalism and his model theory (definitions for a mathematical model of knowledge) |
| 225 | -- | 254 | Benjamin Wells. Applying, extending, and specializing pseudorecursiveness |
| 255 | -- | 280 | Arnold Beckmann. Preservation theorems and restricted consistency statements in bounded arithmetic |
| 281 | -- | 286 | Pietro Benvenuti, Radko Mesiar. On Tarski s contribution to the additive measure theory and its consequences |
| 287 | -- | 292 | Aleksander Blaszczyk. Free Boolean algebras and nowhere dense ultrafilters |
| 293 | -- | 299 | Tadeusz Figiel, Ryszard Frankiewicz, Ryszard Komorowski, Czeslaw Ryll-Nardzewski. On hereditarily indecomposable Banach spaces |
| 301 | -- | 308 | Magdalena Grzech. Set theoretical aspects of the Banach space ::::L::::::infinitf::/::::c::::::0:: |
| 309 | -- | 312 | Andrzej Grzegorczyk. Decidability without mathematics |
| 313 | -- | 333 | Jaakko Hintikka. Independence-friendly logic and axiomatic set theory |
| 335 | -- | 348 | J. Donald Monk. The spectrum of maximal independent subsets of a Boolean algebra |