Start Over
You searched for: author Nerode, A

Search Results

Cover image for Logic for applications

Logic for applications

Location Call # Status
Joyner - General Stacks QA76.63 .N45 1993 ✔ Available
Cover image for Logical foundations of computer science--Tver '92

Logical foundations of computer science--Tver '92

  • 1992
  • Format: Electronic
Location
Access Content Online
Cover image for Logical foundations of computer science--Tver '92

Logical foundations of computer science--Tver '92

  • 1992
  • Format: Book
Location Call # Status
Joyner - General Stacks QA75.5 .L64 1992 ✔ Available
Cover image for Logical foundations of computer science

Logical foundations of computer science

  • 1994
  • Format: Electronic
Location
Access Content Online
Cover image for Logical foundations of computer science

Logical foundations of computer science

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA75.5 .L64 1994 ✔ Available
Cover image for Handbook of Recursive Mathematics

Handbook of Recursive Mathematics

Location
Access Content Online
Cover image for Recursive Model Theory

Recursive Model Theory

Location
Access Content Online
Cover image for Recursion theory

Recursion theory

  • 1985
  • Format: Electronic
Location
Access Content Online
Cover image for Recursion theory

Recursion theory

  • 1985
  • Format: Book
Location Call # Status
Joyner - General Stacks QA9.6 .R4 1985 ✔ Available
Cover image for Errett Bishop

Errett Bishop

  • 1985
  • Format: Electronic
Location
Access Content Online