Filter

Predicate Calculus

68 books found

Beginning logic
Beginning logic

by E. J. Lemmon

1965 9 ed.
Two papers on the predicate calculus
Two papers on the predicate calculus

by Stephen Cole Kleene

1952 3 ed.
Technical Methods In Philosophy
Technical Methods In Philosophy

by John Pollock

2019 3 ed.
Büchi's monadic second order successor arithmetic
Büchi's monadic second order successor arithmetic

by Dirk Siefkes

1970 3 ed.
Elements of Deductive Inference
Elements of Deductive Inference

by Joseph Bessie, Stuart Glennan

1999 3 ed.
Subsystems of second-order arithmetic
Subsystems of second-order arithmetic

by Stephen G. Simpson

1999 3 ed.
Worlds, times, and selves
Worlds, times, and selves

by A. N. Prior

1977 3 ed.
Propositional and Predicate Calculus
Propositional and Predicate Calculus

by Derek Goldrei

2005 2 ed.
Algebraic logic and predicate functors
Algebraic logic and predicate functors

by Willard Van Orman Quine

1971 2 ed.
Formal semantics and pragmatics for natural languages
Formal semantics and pragmatics for natural languages

by Franz Guenthner, Schmidt, Siegfried J.

1979 2 ed.
Klassische und nichtklassische Aussagenlogik
Klassische und nichtklassische Aussagenlogik

by Wolfgang Rautenberg

1979 2 ed.
The criminology of white-collar crime
The criminology of white-collar crime

by Sally S. Simpson

2009 2 ed.
Predicate-oriented database search algorithms
Predicate-oriented database search algorithms

by Dan E. Willard

1978 2 ed.
Lecții despre logica raționamentului nuanțat
Lecții despre logica raționamentului nuanțat

by Grigore C. Moisil

1975 2 ed.
Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen mit analysiskonformen Mitteln
Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen ...

by Gerda Thieler-Mevissen

1974 1 ed.
An introduction to the model theory of first-order predicate logic and a related temporal logic
An introduction to the model theory of first-order predicate...

by Robert Mattison

1968 1 ed.
A dual of mapping cone
A dual of mapping cone

by Paul G. Ledergerber

1973 1 ed.
The computational complexity of logical theories
The computational complexity of logical theories

by Jeanne Ferrante

1979 1 ed.
Lógica para computación
Lógica para computación

by Francisco S. Naishtat

1986 1 ed.
Lógica: o cálculo de predicados
Lógica: o cálculo de predicados

by Leônidas Hegenberg

1 ed.