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