Mathematical logic for computer science

QR Code

Mathematical logic for computer science

Bibliographic Details
Main Author:	Ben-Ari, M. , 1948- (Author)
Format:	Book
Published:	New York ; London : Prentice Hall , 1993
Series:	Prentice Hall International series in computer science
Subjects:	Logic, Symbolic and mathematical

Similar Items

Mathematical logic
by: Chiswell, Ian , 1948-, et al.
Published: (2007)

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

Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)

المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
by: Ensley, Douglas E., et al.
Published: (2006)

Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)

Handbook of mathematical induction : theory and application
by: Gunderson, David S.
Published: (2011)

Basic discrete mathematics : logic,set heory,and probability
by: Kohar, Richard

Quantum algebras, mathematical logic and quantum computing [
by: Armenta, Janna
Published: (2014)

Fuzzy logic for beginners
by: Mukaidono, Masao , 1942-
Published: (2001)

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

Computation as logic
by: Lalement, Rene
Published: (1993)

Using fuzzy logic
by: Yan, Jun, et al.
Published: (1994)

Computability and logic
by: Boolos, George, et al.
Published: (1980)

Logic in linguistics
by: Allwood, Jens S. 1947-, et al.
Published: (1977)

Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)

Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2003)

Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2007)

Fuzzy rationality : a critique and methodological unity of classical, bounded and other rationalities
by: Dompere, K. K.
Published: (2009)

Asas bermantik dan berteori set bagi matematik : bahagian pertama pendekatan moden terhadap matematik tulen
by: Zulauf, A. [ (Achim)] , 1926-
Published: (1992)

The equation [electronic resource] : icons of knowledge
by: Bais, Sander
Published: (2005)

Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010)

The logic of knowledge bases [electronic resource]
by: Levesque, Hector J. , 1951-, et al.
Published: (2000)

المنطق في اللسانيات
by: جحفة، عبد المجيد
Published: (2013)

Pendekatan konstruktivisme radikal dalam pendidikan Matematik
by: Nik Azis Nik Pa
Published: (1999)

Foundations of algorithms using C++ pseudocode
by: Neapolitan, Richard E., et al.
Published: (2004)

Foundations of algorithms
by: Neapolitan, Richard E., et al.
Published: (2011)

Introducing difficult mathematics topics in the elementary classroom [ a teacher's guide to initial lessons
by: Gardella, Francis J.
Published: (2009)

New computational paradigms : changing conceptions of what is computable
by: Cooper, S. B. [ (S. Barry)], et al.
Published: (2008)

Computability theory : an introduction to recursion theory
by: Enderton, Herbert B.
Published: (2011)

Introduction to logic
by: Copi, Irving M.
Published: (1986)

Logic : an introduction
by: Churchill, Robert Paul
Published: (1990)

Computability theory & automata theory [
by: Plante, Kristy, et al.
Published: (2012)

Logic and computer design fundamentals
by: Mano, M. Morris , 1927-, et al.
Published: (1997)

Logic and computer design fundamentals
by: Mano, M. Morris , 1927-, et al.
Published: (2004)

Logic and computer design fundamentals
by: Mano, M. Morris , 1927-, et al.
Published: (2000)

Logic primer
by: Allen, Colin, et al.
Published: (1992)

The elements of logic
by: Barker, Stephen Francis
Published: (1980)

Media theory : interdisciplinary applied mathematics
by: Eppstein, David, et al.
Published: (2008)

Fundamentals of logic design
by: Roth, Charles H.
Published: (2004)