Propositional calculus

by P. H. Nidditch

Propositional calculus

by P H Nidditch

Propositional calculus

by P.H Nidditch

Feasible computational methods in the propositional calculus

by Martin Davis, Hilary Putnam

The foundations of the propositional calculus

by Theodore Paine Palmer

Propositional Calculus (Monographs in Modern Logic)

by P. H. Nidditch

Propositional calculus (Monographs in modern logic)

by P H Nidditch

Some Boolean representations of the propositional calculus

by Leonard A. Snider

On the lengths of proofs in the propositional calculus

by Robert A. Reckhow

Transformation of propositional calculus statements into int...

by E. Hadjiconstantinou

A digitalization, systematization and formulation of the the...

by Robert Steven Ledley

Mathematical logic

by René Cori, Rene Cori

Mathematical Logic - A Course with Exercises Pt. 1

by Rene Cori, D. Lascar

Logical approaches to the complexity of search problems

by Tsuyoshi Morioka

Propositional and Predicate Calculus

by Derek Goldrei

Mathematics abounds with theoretical results!

R-Calculus, IV

by Wei Li, Yuefei Sui

Discrete mathematics

by Kenneth A. Ross

Introduction to Propositional Satisfiability

by Victor Marek

Lectures on propositional calculi

by Ryszard Wójcicki

Classical propositional operators

by Krister Segerberg