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.
Klassische und nichtklassische Aussagenlogik
Klassische und nichtklassische Aussagenlogik

by Wolfgang Rautenberg

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

by Dan E. Willard

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

by Sally S. Simpson

2009 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.
Formal semantics and pragmatics for natural languages
Formal semantics and pragmatics for natural languages

by Franz Guenthner, Schmidt, Siegfried J.

1979 2 ed.
A Teaching Companion to Lemmon's Beginning Logic
A Teaching Companion to Lemmon's Beginning Logic

by George F. Schumm

1979 1 ed.
Logic: theory and practice
Logic: theory and practice

by M. K. Rennie

1973 1 ed.
Completeness, compactness, and undecidability
Completeness, compactness, and undecidability

by Alfred B. Manaster

1975 1 ed.
Quantification relativiste
Quantification relativiste

by André Unterberger

1991 1 ed.
Ontological economy
Ontological economy

by Dale Gottlieb

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

by Leônidas Hegenberg

1 ed.