Cover Image

Mathematical logic and theoretical computer science /

Bibliographic Details
Corporate Author:	University of Maryland, College Park. Department of Mathematics
Other Authors:	Kueker, D. W., 1943-, Lopez-Escobar, Edgar G. K., 1937-, Smith, Carl H., 1950-
Format:	Book
Language:	English
Published:	New York : M. Dekker, [1987]
Series:	Lecture notes in pure and applied mathematics ; v. 106.
Subjects:	Logic, Symbolic and mathematical. Electronic data processing. Algebra.

Similar Items

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

Two applications of logic to mathematics /
by: Takeuti, Gaisi, 1926-2017
Published: (1978)

Algebraic methods of mathematical logic /
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Mathematical logic for computer science /
by: Ben-Ari, M., 1948-
Published: (2001)

Algebraic methods of mathematical logic
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Logic and Boolean algebra /
by: Levitz, Kathleen
Published: (1979)

Mathematische Logik mik Informatik-Anwendungen /
by: Bergmann, Eberhard, 1941-
Published: (1977)

Mathematical logic : foundations for information science /
by: Li, Wei, 1943 June-
Published: (2010)

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1967)

Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)

Mathematical logic.
by: Ponasse, Daniel
Published: (1973)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

Mathematical logic /
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)

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

Mathematics and mathematical logic : new research /
Published: (2010)

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

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

Perspectives on the history of mathematical logic /
Published: (2008)

Mathematical logic /
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)

Mathematical logic : a course with exercises /
by: Cori, René
Published: (2000)

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

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

Handbook of mathematical logic /
Published: (1977)

An introduction to mathematical logic /
by: Robison, Gerson B., 1909-
Published: (1969)

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

Principles of mathematical logic /
by: Hilbert, David, 1862-1943
Published: (1999)

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

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

Foundations of mathematical logic.
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1963)

Mathematical logic.
by: Kleene, Stephen Cole, 1909-1994
Published: (1967)

A tour through mathematical logic /
by: Wolf, Robert S.
Published: (2005)

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

Mathematical logic /
by: Tourlakis, George J.
Published: (2008)

Studies in constructive mathematics and mathematical logic /
Published: (1969)

Handbook of mathematical logic /
Published: (1977)

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

Contributions to mathematical logic. : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Logic and computer science /
Published: (1990)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)