8 treff

predicate calculus
Predicate calculus and program semantics
Edsger W. Dijkstra, Carel S. Scholten
Bok Engelsk 1990 · Vis mer
Beginning logic
E. J. Lemmon
Bok Engelsk 1978 · Vis mer
Vis flere utgaver
Vis flere utgaver
Technical methods in philosophy
John L. Pollock
Bok Engelsk 1990 · Vis mer
Algebraic logic and predicate functors
Quine, W.V.
Bok Engelsk 1971 · Vis mer
Subsystems of second order arithmetic
Simpson, Stephen George
Bok Engelsk 1999 · Vis mer
The computational complexity of logical theories
Jeanne Ferrante, Charles W. Rackoff
Bok Engelsk 1979 · Vis mer
Ontological economy : substitutional quantification and mathematics
Dale Gottlieb
Bok Engelsk 1980 · Vis mer
Completeness, compactness, and undecidability : an introduction to mathematical logic
Alfred B. Manaster
Bok Engelsk 1975 · Vis mer