The computational complexity of logical theories /

An Herebrand [as printed] theorem for higher order logic /
by: Jervell, Herman Ruge
Published: (1971)

Elements of deductive inference : an introduction to symbolic logic /
by: Bessie, Joseph
Published: (2000)

Tableau systems for first order number theory and certain higher order theories /
by: Toledo, Sue Ann, 1940-
Published: (1975)

Subsystems of second order arithmetic /
by: Simpson, Stephen G. (Stephen George), 1945-
Published: (1999)

On Skolem and Herbrand theorems for intuitionistic logic.
by: Jervell, Herman Ruge
Published: (1972)

Craig's interpolation theorem for the intuitionistic logic of constant domains /
by: Jervell, Herman Ruge
Published: (1971)

The logic of plurality /
by: Altham, J. E. J. (James Edward John)
Published: (1971)

Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)

Existence and the particular quantifier /
by: Orenstein, Alex
Published: (1978)

The statistical estimation of provability in the first order predicate calculus /
by: Westrhenen, S. Christiaan van, 1928-
Published: (1969)

Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)

An introduction to the model theory of first-order predicate logic and a related temporal logic /
by: Mattison, Rob
Published: (1968)

An introduction to the model theory of first-order predicate logic and a related temporal logic /
by: Mattison, Rob
Published: (1969)

Predicate calculus and program semantics /
by: Dijkstra, Edsger W.
Published: (1990)

The decision problem : solvable classes of quantificational formulas /
by: Dreben, Burton
Published: (1979)

Worlds, times and selves /
by: Prior, A. N. (Arthur N.), 1914-1969
Published: (1977)

Zur Beschreibbarkeit der hyperarithmetischen reellen Zahlen mit analysiskonformen Mitteln /
by: Thieler-Mevissen, Gerda
Published: (1974)

The solvability of the decision problem for classes of proper formulas and related results /
by: DiPaola, Robert A.
Published: (1971)

Game-theoretical semantics : essays on semantics /
Published: (1978)

Propositional and predicate calculus : a model of argument /
by: Goldrei, Derek
Published: (2005)

Algorithmic information dynamics : a computational approach to causality with applications to living systems /
by: Zenil, Hector, et al.
Published: (2023)

Introduction to HOL : a theorem proving environment for higher order logic /
Published: (1993)

Complexity and structure /
by: Schöning, Uwe, 1955-
Published: (1986)

The calculus of complex functions /
by: Johnston, William Wilbur, 1960-
Published: (2022)

A Logical Approach to Discrete Math /
by: Gries, David
Published: (1993)

Ontological economy : substitutional quantification and mathematics /
by: Gottlieb, Dale
Published: (1980)

Complexity of computer computations : proceedings /
Published: (1972)

Parameterized complexity /
by: Downey, R. G. (Rod G.)
Published: (1999)

Technical methods in philosophy /
by: Pollock, John L.
Published: (1990)

Ten Applications of Graph Theory /
by: Walther, Hansjoachim
Published: (1983)

Complex Systems /
by: Golès, E.
Published: (2001)

Computability.

Logical investigations of predication theory and the problem of universals /
by: Cocchiarella, Nino B.
Published: (1986)

Calculus with complex numbers /
by: Reade, John B.
Published: (2003)

Dealing with complexity : a neural networks approach /
Published: (1998)

A mathematical structure for emergent computation /
by: Korotkich, Victor
Published: (1999)