From logic to computing /

Saved in:

Bibliographic Details
Main Author:	McArthur, Robert P., 1944- .
Format:	Book
Language:	English
Published:	Belmont, Calif. : Wadsworth Pub. Co., 1991.
Subjects:	Computer science. Logic, Symbolic and mathematical.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Handbook of logic in computer science /
Published: (1992)

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

Computation as logic /
by: Lalement, René.
Published: (1993)

Fork algebras in algebra, logic and computer science /
by: Frias, Marcelo Fabian, 1968- .
Published: (2002)

The essence of logic /
by: Kelly, John J.
Published: (1997)

Logic for computer science /
by: Reeves, Steve, 1957-
Published: (1990)

Logic, language, and computation /
Published: (1997)

Logic and algebra of specification /
Published: (1993)

From symbolic logic...to mathematical logic /
by: Silver, Charles L.
Published: (1994)

From symbolic logic...to mathematical logic /
by: Silver, Charles L.
Published: (1994)

Logic : a foundation for computer science /
by: Sperschneider, V.
Published: (1991)

Logic in mathematics: an elementary approach /
by: Hallerberg, Arthur Edward.
Published: (1974)

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

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

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings.
Published: (1992)

Logic functions and equations : binary models for computer-science /
by: Posthoff, Christian
Published: (2004)

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

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

The logical basis for computer programming /
by: Manna, Zohar.
Published: (1985)

Logic, sets, and recursion /
by: Causey, Robert L.
Published: (2001)

Introduction to digital logic design /
by: Hayers, John P. 1944- .
Published: (1993)

Vivid logic : knowledge-based reasoning with two kinds of negation /
by: Wagner, G. 1957- .
Published: (1994)

Mathematical logic
by: Ebbinghaus 1939-
Published: (1994)

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

The elements of logic : for use in computer science, mathematics, and philosophy /
by: Edgar, William J.
Published: (1989)

Conditional logic in expert systems /
Published: (1991)

An introduction to mathematical logic /
by: Hodel, Richard E.
Published: (1995)

Understanding symbolic logic /
by: Klenk, Virginia, 1940- .
Published: (2008)

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

Introduction to mathematical logic
by: Mendelson
Published: (1964)

What is mathematical logic? /
Published: (1972)

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

Selected logic papers /
by: Sacks, Gerald E.
Published: (1999)

Handbook of mathematical logic
Published: (1977)

Introduction to mathematical logic /
by: Hermes, Hans.

Logic design theory /
by: Biswas, Nripendra N.
Published: (1993)

Logic design theory /
by: Biswas, Nripendra N.
Published: (1993)

Logic and its applications /
by: Burke, Edmund.
Published: (1996)

Proceedings Symposium on Logic in Computer Science LICS'94, CNAM, Paris, France, July 4-7, 1994 /
Published: (1994)

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