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

Search Results

Cover image for Subsystems of second order arithmetic

Subsystems of second order arithmetic

Joyner Library - General Stacks
Call Number: QA9.7 .S537 1999
Cover image for Existence and the particular quantifier

Existence and the particular quantifier

Joyner Library - General Stacks
Call Number: BC57 .O73
Cover image for The decision problem

The decision problem

Joyner Library - General Stacks
Call Number: QA9.35 .D73
Cover image for Completeness, compactness, and undecidability

Completeness, compactness, and undecidability

Joyner Library - General Stacks
Call Number: QA9 .M294
Cover image for Logic, form and function

Logic, form and function

Joyner Library - General Stacks
Call Number: BC177 .R62
Cover image for The logic of plurality

The logic of plurality

Joyner Library - General Stacks
Call Number: BC135 .A53
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

Joyner Library - General Stacks
Call Number: QA3 .L28 NO. 447
Cover image for Predicate calculus and program semantics

Predicate calculus and program semantics

Joyner Library - General Stacks
Call Number: QA9.35.D55 1990
Cover image for Game-theoretical semantics

Game-theoretical semantics

  • 1979
  • Format: Book
Joyner Library - General Stacks
Call Number: P325.5.M36 G6
Cover image for Ontological economy

Ontological economy

Joyner Library - General Stacks
Call Number: BD331 .G66