What is mathematical logic?

by Crossley, John N.
Published 1990

Constructive order types /

by Crossley, John N.
Published 1969

Combinatorial functors

by Crossley, John N., Nerode, Anil 1932-
Published 1974

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society Monash University, Australia /

Published 1975

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /

Published 1967

Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /

Published 1965