Start Over
You searched for: author_facet Kleene, Stephen Cole

Search Results

Cover image for The Kleene Symposium

The Kleene Symposium

Location
Access Content Online
Cover image for Introduction to metamathematics

Introduction to metamathematics

Location Call # Status
Joyner - General Stacks QA9.K4 ✔ Available
Cover image for The foundations of intuitionistic mathematics

The foundations of intuitionistic mathematics

Location Call # Status
Joyner - General Stacks QA9.K648 ✔ Available
Cover image for Mathematical logic

Mathematical logic

Location Call # Status
Joyner - General Stacks QA9.K652 ✔ Available
Cover image for Two papers on the predicate calculus

Two papers on the predicate calculus

Location Call # Status
Joyner - General Stacks QA3 .A57 NO. 10 ✔ Available
Cover image for Formalized recursive functionals and formalized realizability

Formalized recursive functionals and formalized realizability

Location Call # Status
Joyner - General Stacks QA3 .A57 NO. 89 ✔ Available