What is mathematical logic?

ανά Crossley, John N.
Έκδοση 1990

Constructive order types /

ανά Crossley, John N.
Έκδοση 1969

Combinatorial functors

ανά Crossley, John N., Nerode, Anil 1932-
Έκδοση 1974

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

Έκδοση 1967

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

Έκδοση 1975

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

Έκδοση 1965