MPG.eBooks - Author Search Results

Cover Image

1

Constructive order types

by Crossley, John N.
Published 1969

North-Holland Pub. Co.

Cover Image

2

Formal systems and recursive functions

by Crossley, John N.
Published 1965

North-Holland

Cover Image

3

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

by Crossley, John N.
Published 1967

North-Holland

Cover Image

4

Adapting Proofs-as-Programs : The Curry--Howard Protocol

by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005

Springer New York

Cover Image

5

Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday

Published 1993

Birkhäuser

Other Authors: “...Crossley, John N....”