Tag: John N. Crossley

Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday (Progress in Computer Science and Applied Logic Book 12) by John N. Crossley (PDF)

Constructive Order Types: Studies in Logic and the Foundations of Mathematics by John N. Crossley (PDF)

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965. by John N. Crossley...