 | | | |
|
|
|
ANNALS OF PURE AND APPLIED LOGIC
| |
| | |
|
|
|
| Special issues & Supplements |
|
|
|
|
|
(37 special issues and supplements)
|
|
| (Guest)editors | | Volume & journal title |
|
| R. de Queiroz, A. Macintyre | |
|
| ( 180 pages ) |
|
| D.R. Ghica, G.A. McCusker | |
|
| ( 130 pages ) |
|
| A.A. Apter, M.J. Groszek | |
|
| ( 146 ) |
|
| S. Gao, A.M. Vershik, Y.I. Zhang | |
|
| ( 158 ) |
|
| M. Kojman | |
|
| ( 254 ) |
|
| B. Banaschewski, T. Coquand, G. Sambin | |
|
| ( 452 pages ) |
|
| A. Beckman, J. Avigad, G. Moser | |
|
| ( 218 ) |
|
| R. de Queiroz, B. Poizat, S. Artemov | |
|
| ( 94 ) |
|
| W. Buchholz, R. Kahle | |
|
| ( 340 ) |
|
| J. Oosten, H. Schellinx | |
|
| ( 274 pages ) |
|
| Y. Matiyasevich | |
| Volume 113, Number 1-3: |
| First St. Petersburg Conference on Days of Logic and Computability May 26 to 29, 1999 St. Petersburg, Russia |
|
| ( 400 pages ) |
|
| C. Finet, C. Michaux | |
| Volume 111, Numbers 1-2: |
| Proceedings of the International Conference "Analyse & Logique" Mons, Belgium 25-29 August 1997 |
|
| ( 144 pages ) |
|
| B. Balcar, P. Simon | |
| Volume 109, Nos 1-2: |
| Dedicated to Petr Vopěnka |
|
| ( 138 pages ) |
|
| C.A. Di Prisco, C.E. Uzcátequi | |
| Volume 108, Numbers 1-3: |
| Proceedings of the XI Latin American Symposium on Mathematical Logic |
|
| ( 374 pages ) |
|
| C. Butz, U. Kohlenbach, S. Rijs et al. | |
| Volume 104, Number 1-3: |
| Workshop on proof theory and complexity PTAC'98 |
|
| ( 344 ) |
|
| M. Fitting, K. Georgatos, R. Ramanujam | |
| Vol. 96, no. 1/3: |
| Festschrift on the Occasion of Professor Rohit Parikh's 60th Birthday |
|
| ( 376 pages ) |
|
| K. Ambos-Spies, T.A. Slaman, R.I. Soare | |
| Vol. 94: |
| Conference on Computability Theory, Oberwolfach, Germany, 27 January-3 February 1996 |
|
| ( 302 pages ) |
|
| D. Cenzer, J.B. Remmel | |
| Vol. 93: |
| Computability Theory |
|
| ( 266 pages ) |
|
| M. Boffa, A. Marcja, D. Mundici | |
| Vol. 88, no. 2/3: |
| Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 |
|
| ( 188 pages ) |
|
| R.A. Shore | |
| Vol. 87, no. 2: |
| Logic Colloquium '95, Haifa, Israel, 13-16 August 1995 |
|
| ( 88 pages ) |
|
| C.T. Chong, Y.C. Tay | |
| Vol. 84 , no. 1: |
| Fifth Asian Logic Conference, National University of Singapore, Singapore, 14–17 June 1993 |
|
| ( 158 pages ) |
|
| A. Nerode, G. Sacks | |
| Vol. 81: |
| Special Volume Dedicated to the Late Stephen Cole Kleene |
|
| ( 246 pages ) |
|
| Y. Matiyasevich, A. Nerode | |
| Vol. 78: |
| Papers in Honor of the Symposium on Logical Foundations of Computer Science, Logic at St. Petersburg, House of Scientists, St. Petersburg, Russia, 12–15 July 1994 |
|
| ( 276 pages ) |
|
| S. Artemov, G. Boolos, E. Engeler et al. | |
| Vol. 75, no. 1/2: |
| Invited Papers Presented at the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20–24 March 1994 |
|
| ( 220 pages ) |
|
| Y. Gurevich | |
| Vol. 73, no. 1: |
| A Tribute to Dirk van Dalen |
|
| ( 148 pages ) |
|
| A. Scedrov | |
| Vol. 69, no. 2/3: |
| Invited Papers Presented at the 1992 IEEE Symposium on Logic in Computer Science |
|
| ( 172 pages ) |
|
| A. Nerode, M.A. Taislin | |
| Vol. 67: |
| A Selection of Papers Presented at the symposium "Logic at Tver '92", Sokol, Russia, 20–24 July 1992 |
|
| ( 354 pages ) |
|
| D. Prawitz, D. Westerståhl | |
| Vol. 63, no. 1: |
| A Selection of Papers Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, 7–14 August 1991 |
|
| ( 108 pages ) |
|
| J.T. Baldwin, A. Marcja | |
| Vol. 62, no. 2: |
| A Selection of Papers Presented at the Stability in Model Theory III Conference, Trento, Italy, 17–21 June 1991 |
|
| ( 128 pages ) |
|
| E.-J. Thiele | |
| Vol. 62, no. 1: |
| A Selection of Papers Presented at the Logic Colloquium '89, Berlin, Germany, 25 July–3 August 1989 |
|
| ( 64 pages ) |
|
| D. de Jongh, A. Visser | |
| Vol. 61, no. 1/2: |
| A Selection of Papers Presented at the Provability, Interpretability and Arithmetic Symposium, Utrecht, The Netherlands, 24–31 August 1991 |
|
| ( 200 pages ) |
|
| K. Hirose, K. Namba | |
| Vol. 59, no. 3: |
| A Selection of Papers Presented at the Fourth Asian Logic Conference, Tokyo, Japan, 3–6 September 1990 |
|
| ( ii + 132 pages ) |
|
| A. Nerode | |
| Vol. 56: |
| Special Volume Dedicated to the Memory of John Myhill |
|
| ( vi + 366 pages ) |
|
| J. Shinoda, T. Tugué | |
| Vol. 52, no. 1/2: |
| Papers Presented at the International Symposium on Mathematical Logic and its Applications, Nagoya, Japan, 7-11 November 1988 |
|
| ( vi + 202 pages ) |
|
| D. Kozen | |
| Vol. 51, no. 1/2: |
| Selected Papers from the Second Annual IEEE Symposium on Logic in Computer Science (LICS), Ithaca, NY, USA, 22-25 June 1987 |
|
| ( viii + 172 pages ) |
|
| J.T. Baldwin, A. Marcja | |
| Vol. 45, no. 2: |
| Papers Presented at the Meeting on Stability in Model Theory II, Trento, Italy, 13-17 July 1987 |
|
| ( ii + 108 pages ) |
|
| D. Wang | |
| Vol. 44, no. 1/2: |
| Papers Presented at "The Third Asian Conference in Mathematical Logic", Beijing, P.R. of China, 26-30 October 1987 |
|
| ( vi + 152 pages ) |
|
|
|
| |
| | |
|
| |
|
