Explore Books on
predicate calculus

Beginning logic

By E. J. Lemmon

Two papers on the predicate calculus

By Stephen Cole Kleene

Technical Methods In Philosophy

By John Pollock

Büchi's monadic second order successor arithmetic

By Dirk Siefkes

Elements of Deductive Inference

By Joseph Bessie,Stuart Glennan

Subsystems of second-order arithmetic

By Stephen G. Simpson

Worlds, times, and selves

By A. N. Prior

Propositional and Predicate Calculus

By Derek Goldrei

Algebraic logic and predicate functors

By Willard Van Orman Quine

Klassische und nichtklassische Aussagenlogik

By Wolfgang Rautenberg

Predicate-oriented database search algorithms

By Dan E. Willard

The criminology of white-collar crime

By Sally S. Simpson

Lecții despre logica raționamentului nuanțat

By Grigore C. Moisil

Formal semantics and pragmatics for natural languages

By Franz Guenthner,Schmidt, Siegfried J.

A Teaching Companion to Lemmon's Beginning Logic

By George F. Schumm

Logic: theory and practice

By M. K. Rennie

Completeness, compactness, and undecidability

By Alfred B. Manaster

Quantification relativiste

By André Unterberger

Ontological economy

By Dale Gottlieb

Lógica: o cálculo de predicados

By Leônidas Hegenberg

Quantoren, Modalitäten, Paradoxien

By Horst Wessel

On sentences provable in impredicative extensions of theories

By Zygmunt Ratajczyk

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

By Robert Mattison

Three-valued logic and cut-elimination

By J. Y. Girard