Filters
Advanced Search Browse by Genre

Found 113 results for "Predicate calculus"

Two papers on the predicate calculus
Two papers on the predicate calculus

by Stephen Cole Kleene

1952 3 ed.
Calculus Mathematics Philosophy
Propositional and Predicate Calculus
Propositional and Predicate Calculus

by Derek Goldrei

Mathematics abounds with theoretical results!

2005 2 ed.
Problems, exercises Propositional calculus Predicate calculus
Predicate calculus and program semantics
Predicate calculus and program semantics

by Edsger Wybe Dijkstra

1990 1 ed.
Mathematical logic
Mathematical logic

by René Cori, Rene Cori

2000 3 ed.
Symbolic and mathematical... Logic Wiskundige logica
Predicate calculus and program semantics
Predicate calculus and program semantics

by Edsger Wybe Dijkstra

1990 1 ed.
Predicate calculus Programming languages (El... Semantics
Predicate Calculus and Program Semantics
Predicate Calculus and Program Semantics

by Edsger Wybe Dijkstra

1990 1 ed.
Logic design Computer science Programming languages (el...
Predicate Calculus and Program Semantics
Predicate Calculus and Program Semantics

by Edsger Wybe Dijkstra, Carel S. Scholten

2011 1 ed.
Induction of concepts in the predicate calculus
Induction of concepts in the predicate calculus

by Steven A. Vere

1975 1 ed.
Automatic proofs for theorems on predicate calculus
Automatic proofs for theorems on predicate calculus

by Sueli Mendes dos Santos

1972 1 ed.
Automatic theorem proving Predicate calculus SNOBOL (Computer program ...
Complete problems in the first-order predicate calculus
Complete problems in the first-order predicate calculus

by David A. Plaisted

1979 1 ed.
Computational complexity Predicate calculus
The statistical estimation of provability in the first order predicate calculus
The statistical estimation of provability in the first order...

by S. Christiaan van Westrhenen

1969 1 ed.
Predicate calculus Statistical decision
Two Papers on the Predicate Calculus (Memoirs of the American Mathematical Society , Vol 1)
Two Papers on the Predicate Calculus (Memoirs of the America...

by Stephen C. Kleene, Stephen C. Keene

1997 1 ed.
Calculus Mathematics Science/Mathematics
On the generation of an English description of a picture from a predicate calculus representation
On the generation of an English description of a picture fro...

by Matthew S. Dryer

1973 1 ed.
Mathematical Logic - A Course with Exercises Pt. 1
Mathematical Logic - A Course with Exercises Pt. 1

by Rene Cori, D. Lascar

2001 1 ed.
Distributive normal forms in the calculus of predicates
Distributive normal forms in the calculus of predicates

by Jaakko Hintikka

1953 1 ed.
Symbolic and mathematical...
Distributive normal forms in the calculus of predicates
Distributive normal forms in the calculus of predicates

by Jaakko Hintikka

1953 1 ed.
Logic
Algebraic logic and predicate functors
Algebraic logic and predicate functors

by Willard Van Orman Quine

1971 2 ed.
Functor theory Logic, Symbolic and mathe... Predicate calculus
Predicate-oriented database search algorithms
Predicate-oriented database search algorithms

by Dan E. Willard

1978 2 ed.
Computer algorithms Database management Information storage and r...
Hierarchies of predicates of finite types
Hierarchies of predicates of finite types

by D. A. Clarke

1964 1 ed.
Number theory Recursive functions Predicate calculus
Model theory for modal logic
Model theory for modal logic

by Kenneth A. Bowen

1979 1 ed.
Modality (Logic) Model theory Predicate calculus