Author facet: Crossley, John N. - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet Crossley, John N.

1 - 8 of 8

Hernando de los Ríos Coronel and the Spanish Philippines in the golden age
by Crossley, John N.
2011
Format: Electronic and Book

✔ Available

Call Number: Access Content Online

Adapting proofs-as-programs : the Curry-Howard protocol
by Poernomo, Iman Hafiz, 1976-
2005
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.54 .P64 2005

Chinese mathematics : a concise history
by Li, Yan, 1892-1963
1987
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA27.C5L4713 1987

Combinatorial functors
by Crossley, John N.
1974
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA169 .C7

What is mathematical logic?
1972
Format: Book and Print

✔ Available View 2 Items

Library	Location	Call Number	Status
Joyner	General Stacks	QA9 .W47	✔ Available
Joyner	General Stacks	QA9 .W47 2	✔ Available

Constructive order types
by Crossley, John N.
1969
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9 .C795

Sets, models and recursion theory. : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August- September 1965
by Logic Colloquium (1965 : University of Leicester)
1967
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.S86 1965

Formal systems and recursive functions ; proceedings
by Logic Colloquium 1963 : Oxford, Oxfordshire)
1965
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9 .L63 1963