Start Over
You searched for: subject "Intuitionistic mathematics."

Search Results

Cover image for Elements of intuitionism

Elements of intuitionism

Location Call # Status
Joyner - General Stacks QA9.47 .D84X ✔ Available
Cover image for Intuitionism

Intuitionism

Location Call # Status
Joyner - General Stacks QA9.H46 ✔ Available
Cover image for Principles of intuitionism

Principles of intuitionism

Location Call # Status
Joyner - General Stacks QA3 .L28 NO. 95 ✔ Available
Cover image for A short introduction to intuitionistic logic

A short introduction to intuitionistic logic

Location Call # Status
Joyner - General Stacks QA9.47 .M56 2000 ✔ Available
Cover image for A short introduction to intuitionistic logic

A short introduction to intuitionistic logic

Location
Access Content Online
Cover image for Proof theory and intuitionistic systems

Proof theory and intuitionistic systems

Location Call # Status
Joyner - General Stacks QA3 .L28 NO. 212 ✔ 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 Choice sequences

Choice sequences

Location Call # Status
Joyner - General Stacks QA9.47 .T77 ✔ Available
Cover image for Proof theory and intuitionistic systems

Proof theory and intuitionistic systems

Location
Access Content Online
Cover image for Intensional mathematics

Intensional mathematics

  • 1985
  • Format: Book
Location Call # Status
Joyner - General Stacks QA9.46 .I57 1985 ✔ Available