Searching Books & More : "Calculus"

Predicate calculus X
11 results found in Books & More
RSS
Cover images provided by Open Library

Propositional and predicate calculus a model of argument

Published: London : Springer, c2005
Format: Electronic Resource, Remote
Retrieving Holdings Information
Cover images provided by Open Library

Existence and the particular quantifier

Published: Philadelphia : Temple University Press, 1978
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Completeness, compactness, and undecidability : an introduction to mathematical logic

Published: Englewood Cliffs, N.J. : Prentice-Hall, [1975]
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

The decision problem : solvable classes of quantificational formulas

Published: Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Logic : form and function : the mechanization of deductive reasoning

Published: Edinburgh : University Press, c1979
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

The logic of plurality

Published: London, Methuen, 1971
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Solvable cases of the decision problem

Published: Amsterdam, North-Holland Pub. Co., 1962 [c1954]
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

The solvability of the decision problem for classes of proper formulas and related results

Published: Santa Monica, Calif., Rand, 1971
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Worlds, times and selves

Published: Amherst : University of Massachusetts Press, 1977
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Ontological economy : substitutional quantification and mathematics

Published: Oxford ; New York : Oxford University Press, 1980
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Introduction to HOL : a theorem proving environment for higher order logic

Published: Cambridge ; New York : Cambridge University Press, 1993
Format: Print
Retrieving Holdings Information