Start Over
You searched for: author_facet Crossley, John N.

Search Results

Cover image for Hernando de los Ríos Coronel and the Spanish Philippines in the golden age

Hernando de los Ríos Coronel and the Spanish Philippines in the golden age

Location
Access Content Online
Cover image for Adapting proofs-as-programs

Adapting proofs-as-programs

Location Call # Status
Joyner - General Stacks QA9.54 .P64 2005 ✔ Available
Cover image for Chinese mathematics

Chinese mathematics

Location Call # Status
Joyner - General Stacks QA27.C5 L4713 1987 ✔ Available
Cover image for Combinatorial functors

Combinatorial functors

Location Call # Status
Joyner - General Stacks QA169 .C7 ✔ Available
Cover image for What is mathematical logic?

What is mathematical logic?

  • 1972
  • Format: Book
Location Call # Status
Joyner - General Stacks QA9 .W47 ✔ Available
Joyner - General Stacks QA9 .W47 2 ✔ Available
Cover image for Constructive order types

Constructive order types

Location Call # Status
Joyner - General Stacks QA9 .C795 ✔ Available
Cover image for Constructive order types

Constructive order types

Location
Access Content Online
Cover image for Sets, models and recursion theory

Sets, models and recursion theory

Location Call # Status
Joyner - General Stacks QA9.S86 1965 ✔ Available
Cover image for Sets, Models and Recursion Theory

Sets, Models and Recursion Theory

Location
Access Content Online
Cover image for Formal systems and recursive functions

Formal systems and recursive functions

Location Call # Status
Joyner - General Stacks QA9 .L63 1963 ✔ Available