Start Over
You searched for: subject "Predicate calculus."

Search Results

Cover image for Subsystems of second order arithmetic

Subsystems of second order arithmetic

Location Call # Status
Joyner - General Stacks QA9.7 .S537 1999 ✔ Available
Cover image for Existence and the particular quantifier

Existence and the particular quantifier

Location Call # Status
Joyner - General Stacks BC57 .O73 ✔ Available
Cover image for The decision problem

The decision problem

Location Call # Status
Joyner - General Stacks QA9.35 .D73 ✔ Available
Cover image for Logic, form and function

Logic, form and function

Location Call # Status
Joyner - General Stacks BC177 .R62 ✔ Available
Cover image for The logic of plurality

The logic of plurality

Location Call # Status
Joyner - General Stacks BC135 .A53 ✔ Available
Cover image for Completeness, compactness, and undecidability

Completeness, compactness, and undecidability

Location Call # Status
Joyner - General Stacks QA9 .M294 ✔ Available
Cover image for Tableau systems for first order number theory and certain higher order theories

Tableau systems for first order number theory and certain higher order theories

Location Call # Status
Joyner - General Stacks QA3 .L28 NO. 447 ✔ Available
Cover image for Predicate calculus and program semantics

Predicate calculus and program semantics

Location Call # Status
Joyner - General Stacks QA9.35.D55 1990 ✔ Available
Cover image for Game-theoretical semantics

Game-theoretical semantics

  • 1979
  • Format: Book
Location Call # Status
Joyner - General Stacks P325.5.M36 G6 ✔ Available
Cover image for Ontological economy

Ontological economy

Location Call # Status
Joyner - General Stacks BD331 .G66 ✔ Available