Cover Image

Logic and computer science /

Bibliographic Details
Other Authors:	Odifreddi, Piergiorgio, 1950-
Format:	Book
Language:	English
Published:	London ; San Diego, CA : Academic Press, [1990]
Series:	A.P.I.C. studies in data processing ; no. 31.
Subjects:	Logic, Symbolic and mathematical. Programming (Mathematics) Computational complexity.

Similar Items

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

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

Hanbdook of logic in computer science.
Published: (2020)

Linear logic in computer science /
Published: (2004)

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

Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)

Logic, construction, computation /
Published: (2012)

Computability and logic /
by: Boolos, George
Published: (1980)

Computability and logic.
by: Boolos, George
Published: (2007)

Computability and logic.
by: Boolos, George
Published: (2002)

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

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)

Journal of logic and computation.
Published: (1990)

Journal of logic and computation.

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
Published: (1990)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
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)

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)

Computational aspects of an order-sorted logic with term declarations /
by: Schmidt-Schauss, M. (Manfred)
Published: (1989)

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

Logic and algorithms : with applications to the computer and information sciences /
by: Korfhage, Robert R.
Published: (1966)

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

Mathematical logic and theoretical computer science /
Published: (1987)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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