1 - Algebra and logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Crossley, John Newsome (1937-....) (Ed.)

Cote : [05 CRO 75]

2 - Formal systems and recursive functions : proceedings of the eighth logic colloquium Oxford, July 1963
Crossley, John Newsome (1937-....) (Ed.)   /   Dummett, Michael Anthony Eardley (1925-2011) (Ed.)

Cote : [05 CRO 65]

3 - Sets, models and recursion theroy : proceedings of the summer school in mathematical logic and 10th logic colloquium Leicester, August-September 1965
Crossley, John Newsome (1937-....) (Ed.)

Cote : [05 CRO 67]

4 - The emergence of number
Crossley, John Newsome (1937-....)

Cote : [01.1 CRO 80]