Completeness,compactness, and undercidability : an introduction to mathematical logic /

Completeness,compactness, and undercidability : an introduction to mathematical logic /

41

Bibliographic Details
Main Author:	343792 Manaster, Alfred B.
Format:
Published:	Englewood Cliffs, New Jersey : Prentice Hall, 1975
Subjects:	Logic, Symbolic and mathematical Predicate calculus

Similar Items

Mathematical logic /
by: 349455 Ponasse, Daniel
Published: (1973)

The computational complexity of logical theories /
by: 366280 Ferrante, Jeanne, et al.
Published: (1979)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1964)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1979)

Introduction to mathematical logic /
Published: (2012)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (c201)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1997)

Introduction to mathematical logic /
by: 411257 Church, Alonzo
Published: (1956)

A mathematical introduction to logic /
by: 461543 Enderton, Herbert B.
Published: (1972)

The mathematics of logic : a guide to completeness theorems and their applications /
by: 186853 Kaye, Richard
Published: (2007)

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

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

Introduction to elementary mathematical logic /
by: 346837 Stolyar, Abram Aronovich
Published: (1970)

An algebraic introduction to mathematical logic /
by: 390016 Barnes, Donald W., et al.
Published: (1975)

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Mathematical logic /
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

Mathematical logic /
by: 344925 Monk, James Donald
Published: (1976)

Mathematical logic /
by: 307997 Shoenfield, Joseph Robert
Published: (1967)

Mathematical logic /
by: 365617 Quine, Willard Van Orman
Published: (1951)

Mathematical logic /
by: 219920 Ebbinghaus, Heinz-Dieter, et al.
Published: (1994)

Introduction to logic /
by: 299767 Copi, Irving M., et al.
Published: (1998)

Introduction to logic /
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to mathematical logic : set theory computable functions model theory /
by: Malitz, J
Published: (1979)

Dictionary of symbols of mathematical logic /
by: Feys, Robert, et al.
Published: (1973)

Languages, logic and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)

Elements of mathematical logic /
by: 343101 Novikov, P. S.
Published: (1964)

Annals of mathematical logic
Published: (1970)

Lectures on mathematical logic /
by: 314449 Felscher, Walter
Published: (2000)

Handbook of mathematical logic /
by: Barwise, Jon
Published: (1977)

Principles of mathematical logic /
by: 174681 Hilbert, David, et al.
Published: (1950)

Foundations of mathematical logic /
by: 351193 Curry, Haskell Brooks
Published: (1977)

Mathematical logic and computability /
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

Mathematics and mathematical logic : new research /
by: Milosav, Peter, et al.
Published: (c201)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1970)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1971)

Studies in constructive mathematics and mathematical logic /
by: 321705 Slisenko, A. O.
Published: (1969)

Logic of mathematics : a modern course of classical logic /
by: 454206 Adamowicz, Zofia, et al.
Published: (1997)

Introduction to symbolic logic /
by: 389591 Basson, A. H., et al.
Published: (1957)

Introduction to symbolic logic /
by: 386873 Smith, Karl J.
Published: (1991)

An introduction to symbolic logic /
by: 200716 Langer, Susanne Katherina
Published: (1967)