Discrete structures, logic, and computability
| Main Author: | Hein, James L. (Author) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Sudbury, Mass. :
Jones and Bartlett Publishers ,
c2010
|
| Edition: | 3rd ed |
| Subjects: |
Similar Items
Computation as logic
by: Lalement, Rene
Published: (1993)
by: Lalement, Rene
Published: (1993)
Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010)
by: Stanoyevitch, Alexander
Published: (2010)
Computability and logic
by: Boolos, George, et al.
Published: (1980)
by: Boolos, George, et al.
Published: (1980)
Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)
by: Burke, Edmund, et al.
Published: (1996)
Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2003)
by: Rosen, Kenneth H.
Published: (2003)
Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2007)
by: Rosen, Kenneth H.
Published: (2007)
Discrete mathematics mathematical reasoning and proof with puzzles, patterns, and games
by: Ensley, Douglas E., et al.
Published: (2006)
by: Ensley, Douglas E., et al.
Published: (2006)
Mathematical logic for computer science
by: Ben-Ari, M. 1948-
Published: (1993)
by: Ben-Ari, M. 1948-
Published: (1993)
Quantum algebras, mathematical logic and quantum computing
by: Armenta, Janna
Published: (2014)
by: Armenta, Janna
Published: (2014)
Mathematical logic
by: Chiswell, Ian 1948-, et al.
Published: (2007)
by: Chiswell, Ian 1948-, et al.
Published: (2007)
Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1979)
by: Mendelson, Elliott
Published: (1979)
المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)
by: زيدان، محمود فهمى, et al.
Published: (2007)
Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)
by: Hamidah Abd Hamid
Published: (1991)
Discrete mathematics and structures
by: Gupta, Satinder Bal
Published: (2016)
by: Gupta, Satinder Bal
Published: (2016)
Logic in linguistics
by: Allwood, Jens S. 1947-, et al.
Published: (1977)
by: Allwood, Jens S. 1947-, et al.
Published: (1977)
Programming logic and design comprehensive
by: Farrell, Joyce
Published: (2004)
by: Farrell, Joyce
Published: (2004)
The logic of knowledge bases [electronic resource]
by: Levesque, Hector J. 1951-, et al.
Published: (2000)
by: Levesque, Hector J. 1951-, et al.
Published: (2000)
Discrete mathematical structures
by: Kolman, Bernard 1932-, et al.
Published: (2000)
by: Kolman, Bernard 1932-, et al.
Published: (2000)
Algebraic foundations in computer science essays dedicated to symeon bozapalidis on the occasion of his retirement
by: Kuich, Werner 1941-, et al.
Published: (2011)
by: Kuich, Werner 1941-, et al.
Published: (2011)
Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)
by: Rosni Abdullah, et al.
Published: (2000)
Basic discrete mathematics logic,set heory,and probability
by: Kohar, Richard
by: Kohar, Richard
Discrete mathematics for computing
by: Munro, John E.
Published: (1992)
by: Munro, John E.
Published: (1992)
Dynamic logic [electronic resource]
by: Harel, David 1950-, et al.
Published: (2000)
by: Harel, David 1950-, et al.
Published: (2000)
Discrete mathematics proofs, structures, and applications
by: Garnier, Rowan, et al.
Published: (2010)
by: Garnier, Rowan, et al.
Published: (2010)
Discrete mathematics and applications
by: Ferland, Kevin
by: Ferland, Kevin
Sets, logic and maths for computing
by: Makinson, David 1941-
Published: (2012)
by: Makinson, David 1941-
Published: (2012)
Essentials of discrete mathematics
by: Hunter, David James 1968-
Published: (2012)
by: Hunter, David James 1968-
Published: (2012)
Essentials of discrete mathematics
by: Hunter, David James 1968-
by: Hunter, David James 1968-
The equation [electronic resource] : icons of knowledge
by: Bais, Sander
Published: (2005)
by: Bais, Sander
Published: (2005)
Asas bermantik dan berteori set bagi matematik bahagian pertama pendekatan moden terhadap matematik tulen
by: Zulauf, A. (Achim) 1926-
Published: (1992)
by: Zulauf, A. (Achim) 1926-
Published: (1992)
Computer architecture and logic design
by: Bartee, Thomas C.
Published: (1991)
by: Bartee, Thomas C.
Published: (1991)
Discrete mathematics for computer science
by: Haggard, Gary, et al.
Published: (2006)
by: Haggard, Gary, et al.
Published: (2006)
Discrete mathematics for computing
by: Haggarty, Rod
Published: (2002)
by: Haggarty, Rod
Published: (2002)
Logic programming
by: Saxton, Liza
Published: (2014)
by: Saxton, Liza
Published: (2014)
Logic and objects
by: McCabe, F. G. (Frank G.) 1953-
Published: (1992)
by: McCabe, F. G. (Frank G.) 1953-
Published: (1992)
Lectures on discrete mathematics for computer science
by: Khoussainov, Bakhadyr 1961-, et al.
Published: (2012)
by: Khoussainov, Bakhadyr 1961-, et al.
Published: (2012)
Similar Items
-
Computation as logic
by: Lalement, Rene
Published: (1993) -
Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010) -
Computability and logic
by: Boolos, George, et al.
Published: (1980) -
Logic and its applications
by: Burke, Edmund, et al.
Published: (1996) -
Discrete mathematics and its applications
by: Rosen, Kenneth H.
Published: (2003)