Propositional Calculus

49 books
Beginning logicE. J. Lemmon
⏱ 3h 45m

Beginning logic

E. J. Lemmon

1965225 pp.
Propositional calculusP. H. Nidditch
⏱ 1h 23m

Propositional calculus

P. H. Nidditch

196283 pp.
Systemy nonsense-logicsKrystyna Piróg-Rzepecka
⏱ 1h 12m

Systemy nonsense-logics

Krystyna Piróg-Rzepecka

197772 pp.
A system of relative existential propositions connected with the relation of class-membershipClarence Eugene Van Horn
⏱ 45m

A system of relative existential propositions connected with the relation of class-membership

Clarence Eugene Van Horn

192845 pp.
Lectures on propositional calculiRyszard Wójcicki
⏱ 4h 52m

Lectures on propositional calculi

Ryszard Wójcicki

1984292 pp.
Klasyczny rachunek zdańWitold A. Pogorzelski
⏱ 3h 45m

Klasyczny rachunek zdań

Witold A. Pogorzelski

1973225 pp.
Sisteme logice și forme normale în calculul propozițional bivalentEugen Mihăilescu
⏱ 6h 18m

Sisteme logice și forme normale în calculul propozițional bivalent

Eugen Mihăilescu

1966378 pp.
The foundations of the propositional calculusTheodore Paine Palmer
⏱ 3h 0m

The foundations of the propositional calculus

Theodore Paine Palmer

1935180 pp.
Classical propositional operatorsKrister Segerberg
⏱ 2h 31m

Classical propositional operators

Krister Segerberg

1982151 pp.
Finite models of zero order propositional calculiRalph Calvin Applebee
⏱ 1h 31m

Finite models of zero order propositional calculi

Ralph Calvin Applebee

197291 pp.
Lógica: o cálculo sentencialLeônidas Hegenberg
⏱ 2h 57m

Lógica: o cálculo sentencial

Leônidas Hegenberg

1972177 pp.
On the lengths of proofs in the propositional calculusRobert A. Reckhow
⏱ 4h 3m

On the lengths of proofs in the propositional calculus

Robert A. Reckhow

1975243 pp.
Elementary set theory: proof techniquesCarl E. Gordon
⏱ 5h 5m

Elementary set theory: proof techniques

Carl E. Gordon

1975305 pp.
Beginning logicE. J. Lemmon

Beginning logic

E. J. Lemmon

No page data
Theory and applications of satisfiability testingEnrico Giunchiglia
⏱ 8h 50m

Theory and applications of satisfiability testing

Enrico Giunchiglia

2004530 pp.
Introduction mathématique à la logiqueGeorges Leresche
⏱ 1h 31m

Introduction mathématique à la logique

Georges Leresche

197691 pp.
A decomposition method for simplifying propositional functionsCharles C. Pinter

A decomposition method for simplifying propositional functions

Charles C. Pinter

1968No page data
Inference rules for unsatisfiabilityDavid A. Plaisted
⏱ 18m

Inference rules for unsatisfiability

David A. Plaisted

197918 pp.
Investigations into the equivalence connectiveJacek K. Kabziński
⏱ 1h 53m

Investigations into the equivalence connective

Jacek K. Kabziński

1980113 pp.
La structuration infinie des opérations bivalentesLe Comunieur.
⏱ 1h 51m

La structuration infinie des opérations bivalentes

Le Comunieur.

1979111 pp.
Page 1 of 3Next →