Start Over
You searched for: author_facet Fitting, Melvin

Search Results

Cover image for First-Order Modal Logic

First-Order Modal Logic

Location
Access Content Online
Cover image for Beyond two

Beyond two

  • 2003
  • Format: Book
Location Call # Status
Joyner - General Stacks QA9.45 .B49 2003 ✔ Available
Cover image for Types, tableaus, and Gödel's God

Types, tableaus, and Gödel's God

Location Call # Status
Joyner - General Stacks BC199.M6 F59 2002 ✔ Available
Cover image for First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Location
Access Content Online
Cover image for Set theory and the continuum problem

Set theory and the continuum problem

Location Call # Status
Joyner - General Stacks QA248 .S586 1996 ✔ Available
Cover image for Fundamentals of generalized recursion theory

Fundamentals of generalized recursion theory

Location
Access Content Online
Cover image for Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

Location
Access Content Online