Logic for computer scientists /

Logic for computer scientists /

Show other versions (1)

Bibliographic Details
Main Author:	Schöning, Uwe, 1955-
Format:	Book
Language:	English
Published:	Boston : Birkhäuser, 1989.
Series:	Progress in computer science and applied logic ; v. 8.
Subjects:	Logic, Symbolic and mathematical. Logic programming.

Similar Items

Logic for computer scientists /
by: Schöning, Uwe, 1955-
Published: (2008)

Logic and computer science /
Published: (1990)

Logic, construction, computation /
Published: (2012)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

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

Combinatory logic /
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)

Many-sorted logic and its applications /
Published: (1993)

Logicism renewed : logical foundations for mathematics and computer science /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

Computation, logic, philosophy : a collection of essays /
by: Wang, Hao, 1921-
Published: (1990)

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

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

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

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

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

Logic as algebra /
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Logic for mathematicians /
by: Hamilton, A. G., 1943-
Published: (1978)

Fibring logics /
by: Gabbay, Dov M., 1945-
Published: (1999)

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

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Applied logic /
by: Sinisi, Vito F.
Published: (2000)

In the light of logic /
by: Feferman, Solomon
Published: (1998)

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

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

Mathematical logic /
by: Turing, Alan, 1912-1954
Published: (2001)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2004)

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

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

Classical and fuzzy concepts in mathematical logic and applications /
by: Reghiș, Mircea
Published: (1998)

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

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2008)

What is a logical system? /
Published: (1994)

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

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

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

Handbook of mathematical logic /
Published: (1977)

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

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