Annals of pure and applied logic

Biblioteca: Biblioteche UniTrento
BUC. Deposito 2
Modalità di consultazione

Anno Volume Numero Posseduto
2007 149 1 /3 November
2007 148 1 /3 September
2007 147 3 July
2007 147 1 /2 June
2007 146 2 /3 May
2007 146 1 April
2007 145 3 March
2007 145 2 February
2007 145 1 January
2006 144 1 /3 December. - Conference in honor of James. E. Baumgartner’s sixtieth birthday
2006 143 1 /3 November. - International Meeting on Logic, Algebra and Geometry
2006 142 1 /3 October
2006 141 3 September. - Papers presented at the Second St. Petersburg Days of Logic and Computability Conference on the occasion of the centennial of Andrey Andreevich Markov, Jr.
2006 141 1 /2 August
2006 140 1 /3 July. - Cardinal Arithmetic at work: the 8th Midrasha Mathematicae Workshop Dedicated to Professor Azriel Levy, Cardinal Arithmetic at work: the 8th Midrasha Mathematicae Workshop
2006 139 1 /3 May
2006 138 1 /3 March. - New Zealand Institute of Mathematics and its Applications: Logic and Computation Programme
2006 137 1 /3 January. - Papers presented at the 2nd Workshop on Formal Topology (2WFTop 2002)
2005 136 3 November
2005 136 1 /2 October. - Festschrift on the occasion of Wolfram Pohlers’ 60th birthday, Festschrift on the occasion of Wolfram Pohlers’ 60th birthday
2005 135 1 /3 September
2005 134 2 /3 July
2005 134 1 June. - Papers presented at the 9th Workshop on Logic, Language, Information and Computation (WoLLIC’2002), Papers presented at the 9th Workshop on Logic, Language, Information and Computation (WoLLIC’2002)
2005 133 1 /3 May. - Festschrift on the occasion of Helmut Schwichtenberg’s 60th birthday, Ein Bogen von der Beweistheorie zur Informatik
2005 132 2 /3 March
2005 132 1 February
2005 131 1 /3 January
2004 130 1 /3 December. - Papers presented at the 2002 IEEE Symposium on Logic in Computer Science (LICS)
2004 129 1 /3 October
2004 128 1 /3 August
2004 127 1 /3 June. - Provinces of logic determined. Essays in the memory of Alfred Tarski. Parts IV, V and VI
2004 126 1 /3 April. - Provinces of logic determined. Essays in the memory of Alfred Tarski. Parts I, II and III
2004 125 1 /3 February
2003 124 1 /3 December 15
2003 123 1 /3 October 15
2003 122 1 /3 August 15
2003 121 2 /3 June 15
2003 121 1 May 15
2003 120 1 /3 April 15
2003 119 1 /3 February 15
2002 118 3 December 15
2002 118 1 /2 December 1
2002 117 1 /3 October 15
2002 116 1 /3 August 15
2002 115 1 /3 June 15
2002 114 1 /3 April 15. - Commemorative Symposium Dedicated to Anne S. Troelstra on the occasion of his 60th birthday
2002 113 1 /3 January 2. - First St. Petersburg Conference on Days of Logic and Computability
2001 112 2 /3 December 5
2001 112 1 September 15
2001 111 3 August 30
2001 111 1 /2 Proceedings of the International Conference "Anayse & Logique"
2001 110 1 /3 June 20
2001 109 3 May 30
2001 109 1 /2 May 15. - Special Issue dedicated to Petr Vopenka
2001 108 1 /3 March 30. - XIth Latin American Symposium on Mathematical Logic
2001 107 1 /3 January 15
2000 106 1 /3 December 1
2000 105 1 /3 November 1
2000 104 1 /3 July 15. - Proceedings of the Workshop on Proof Theory and Complexity PTAC'98
2000 103 1 /3 May 15
2000 102 3 April 15
2000 102 1 /2 March 3
2000 101 2 /3 February 3
2000 101 1 January 3
1999 100 1 /3 October 15
1999 99 1 /3 August 31
1999 98 1 /3 June 30
1999 97 1 /3 March 21
1999 96 1 /3 March 1. - Festschrift on the occasion of Professor Rohit Parikh's 60th birthday
1998 95 1 /3 November 5
1998 94 1 /3 October 5. - Conference on Computability Theory
1998 93 1 /3 April 28. - Computability Theory
1998 92 3 August 21
1998 92 2 May 14
1998 92 1 March 11
1998 91 2 /3 February 24
1998 91 1 January 12
1998 90 1 /3 December 15
1997 89 2 /3 December 8
1997 89 1 December 15. - Logic Colloquium '94
1997 88 2 /3 November 17. - Joint AILA-KGS Model Theory Meeting
1997 88 1 November 15
1997 87 3 October 17
1997 87 2 September 15. - Logic Colloquium '95
1997 87 1 August 22
1997 86 3 July 23
1997 86 2 June 16
1997 86 1 June 13
1997 85 3 May 23
1997 85 2 May 6
1997 85 1 April 29
1997 84 3 April 18
1997 84 2 March 21
1997 84 1 March 6. - Asian Logic Conference
1997 83 3 February 14
1997 83 2 January 23
1997 83 1 January 6
1996 82 3 December 15
1996 82 2 December 5
1996 82 1 November
1996 81 1 /3 September. - Stephen Cole Kleene
1996 80 3 August 26
1996 80 2 August 5
1996 80 1 July 15
1996 79 3 June 24
1996 79 2 June 3
1996 79 1 May 2
1996 78 1 /3 April 4. - Logic at St. Petersburg
1996 77 3 February 19
1996 77 2 January 29
1996 77 1 January 8
1995 74/76
1995 71/73
1994 69/70
1994 66/68
1993 63/65
1993 59/62
1992 56/58
1991/1992 54/55
1991 51/53
1990 48/50
1990 46/47
1989 41/45
1988 37/40
1987 33/36
1986 30/32
1985 28/29
1984 26/27
1983 24/25