Predicate Calculus

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

Beginning logic

E. J. Lemmon

1965225 pp.
Subsystems of second-order arithmeticStephen G. Simpson
⏱ 7h 24m

Subsystems of second-order arithmetic

Stephen G. Simpson

1999444 pp.
Two papers on the predicate calculusStephen Cole Kleene
⏱ 1h 8m

Two papers on the predicate calculus

Stephen Cole Kleene

195268 pp.
Prelude to cycle 23Unknown Author

Prelude to cycle 23

Unknown Author

1996No page data
Worlds, times, and selvesA. N. Prior
⏱ 2h 55m

Worlds, times, and selves

A. N. Prior

1977175 pp.
Büchi's monadic second order successor arithmeticDirk Siefkes
⏱ 2h 12m

Büchi's monadic second order successor arithmetic

Dirk Siefkes

1970132 pp.
Lógica: o cálculo de predicadosLeônidas Hegenberg
⏱ 3h 46m

Lógica: o cálculo de predicados

Leônidas Hegenberg

226 pp.
AussagenlogikH. Kleine Büning
⏱ 7h 18m

Aussagenlogik

H. Kleine Büning

1994438 pp.
Subsystems of Second Order ArithmeticStephen G. Simpson
⏱ 7h 42m

Subsystems of Second Order Arithmetic

Stephen G. Simpson

2009462 pp.
An Herebrand [i.e. Herbrand] theorem for higher order logicHerman Ruge Jervell
⏱ 29m

An Herebrand [i.e. Herbrand] theorem for higher order logic

Herman Ruge Jervell

197129 pp.
Normalformen aufzählbarer PrädikateMichael Deutsch
⏱ 2h 1m

Normalformen aufzählbarer Prädikate

Michael Deutsch

1968121 pp.
LógicaLeônidas Hegenberg
⏱ 3h 46m

Lógica

Leônidas Hegenberg

1973226 pp.
Propositional and Predicate CalculusDerek Goldrei
⏱ 5h 15m

Propositional and Predicate Calculus

Derek Goldrei

2005315 pp.
Klassische und nichtklassische AussagenlogikWolfgang Rautenberg
⏱ 6h 1m

Klassische und nichtklassische Aussagenlogik

Wolfgang Rautenberg

1979361 pp.
The computational complexity of logical theoriesJeanne Ferrante
⏱ 4h 3m

The computational complexity of logical theories

Jeanne Ferrante

1979243 pp.
Aussagenlogik, Mengen, RelationenHans-Dieter Gerster
⏱ 3h 11m

Aussagenlogik, Mengen, Relationen

Hans-Dieter Gerster

1975191 pp.
Shu liang hua li lun ji qi ying yongDong, Wenquan.
⏱ 3h 17m

Shu liang hua li lun ji qi ying yong

Dong, Wenquan.

1979197 pp.
The statistical estimation of provability in the first order predicate calculusS. Christiaan van Westrhenen
⏱ 1h 54m

The statistical estimation of provability in the first order predicate calculus

S. Christiaan van Westrhenen

1969114 pp.
Complete problems in the first-order predicate calculusDavid A. Plaisted
⏱ 14m

Complete problems in the first-order predicate calculus

David A. Plaisted

197914 pp.
Craig's interpolation theorem for the intuitionistic logic of constant domainsHerman Ruge Jervell
⏱ 10m

Craig's interpolation theorem for the intuitionistic logic of constant domains

Herman Ruge Jervell

197110 pp.
Page 1 of 4Next →