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

Subsystems of second-order arithmetic

By Stephen G. Simpson

Elements of Deductive Inference

By Joseph Bessie,Stuart Glennan

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

Formal semantics and pragmatics for natural languages

By Franz Guenthner,Schmidt, Siegfried J.

Lecții despre logica raționamentului nuanțat

By Grigore C. Moisil

The criminology of white-collar crime

By Sally S. Simpson

Klassische und nichtklassische Aussagenlogik

By Wolfgang Rautenberg

Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen mit analysiskonformen Mitteln

By Gerda Thieler-Mevissen

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

By Robert Mattison

A dual of mapping cone

By Paul G. Ledergerber

The computational complexity of logical theories

By Jeanne Ferrante

Lógica para computación

By Francisco S. Naishtat

Lógica: o cálculo de predicados

By Leônidas Hegenberg

Logic: theory and practice

By M. K. Rennie

Tableau systems for first order number theory and certain higher order theories

By Sue Ann Toledo

On sentences provable in impredicative extensions of theories

By Zygmunt Ratajczyk

Three-valued logic and cut-elimination

By J. Y. Girard

Aussagenlogik, Mengen, Relationen

By Hans-Dieter Gerster