8201 - Logic and algorithms : with applications to the computer and information sciences
Korfhage, Robert R.

Cote : [05 KOR 66]

8202 - Logic and foundations of mathematics. Dedicated to prof. A. Heyting on his 70th birthday
Dalen, Dirk Van (1932-....) (Ed.)   /   Dijkman, Jacobus Gerhardus (Ed.)   /   Kleene, Stephen Cole (1909-1994) (Ed.)

Cote : [05 DAL 68]

8203 - Logic colloquium '76 : proceedings of conference held in Oxford, July 19-30, 1976
Gandy, Robin (Ed.)   /   Hyland, J. Martin E. (.Ed.)   /   Mostowski, Andrzej (1913-1975) (Préf.)

Cote : [05 GAN 77]

8204 - Logic colloquium '82 : proceedings of the colloquium held in Florence, August 23--28, 1982
Lolli, G. (Ed.)   /   Marcja, Annalisa (Ed.)   /   Longo, Giuseppe (Ed.)

Cote : [05 LOL 84]

8205 - Logic colloquium 77 : proceedings of the colloquium held in Wroclaw, Poland, August 1-12, 1977
Macintyre, Angus (1944-....) (Ed.)   /   Pacholski, Leszek (Ed.)   /   Paris, Jeffrey B. (1944-....) (Ed.)

Cote : [05 MAC 77]

8206 - Logic colloquium : symposium on logic held at Boston, 1972-73
Parikh, Rohit (1936-....) (Ed.)

Cote : [05 PAR 75]

8207 - Logic colloquium' 69 : proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969
Gandy, Robin (Ed.)   /   Yates, Michael (Ed.)

Cote : [05 GAN 71]

8208 - Logic for mathematicians
Rosser, John Barkley (1907-1989)

Cote : [05 ROS 53]

8209 - Logic in algebraic form : three languages and theories
Craig, William (1918-....)

Cote : [05 CRA 74]

8210 - Logic in elementary mathematics
Exner, Robert M.   /   Rosskopf, Myron Frederick

Cote : [05 EXN 59]