Computability and logic
| Main Authors: | Boolos, George (Author), Jeffrey, Richard (Author) |
|---|---|
| Format: | Book |
| Published: |
Cambridge
Cambridge University Press
1980
|
| Edition: | 2nd ed. |
| Subjects: |
Similar Items
Computation as logic
by: Lalement, Rene
Published: (1993)
by: Lalement, Rene
Published: (1993)
Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010)
by: Hein, James L.
Published: (2010)
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)
Logic and its applications
by: Burke, Edmund, et al.
Published: (1996)
by: Burke, Edmund, et al.
Published: (1996)
Logic in linguistics
by: Allwood, Jens S. 1947-, et al.
Published: (1977)
by: Allwood, Jens S. 1947-, et al.
Published: (1977)
New computational paradigms : changing conceptions of what is computable
by: Cooper, S. B. [ (S. Barry)], et al.
Published: (2008)
by: Cooper, S. B. [ (S. Barry)], et al.
Published: (2008)
Computability theory an introduction to recursion theory
by: Enderton, Herbert B.
Published: (2011)
by: Enderton, Herbert B.
Published: (2011)
A first course in computability theory
by: Plante, Kristy
Published: (2012)
by: Plante, Kristy
Published: (2012)
المنطق الرمزي نشأته وتطوره
by: زيدان، محمود فهمى, et al.
Published: (2007)
by: زيدان، محمود فهمى, et al.
Published: (2007)
Pengantar logik
by: Hamidah Abd Hamid
Published: (1991)
by: Hamidah Abd Hamid
Published: (1991)
Scientific computing and its applications
by: Cousins, Lorrie
Published: (2014)
by: Cousins, Lorrie
Published: (2014)
Automata and computability
by: Kozen, Dexter 1951-
Published: (1997)
by: Kozen, Dexter 1951-
Published: (1997)
Pengantar logik dan pengabstrakan untuk sains komputer
by: Rosni Abdullah, et al.
Published: (2000)
by: Rosni Abdullah, et al.
Published: (2000)
An introduction to theory of computation [
by: Malone, Sherwood
Published: (2014)
by: Malone, Sherwood
Published: (2014)
Advances in inequalities for special functions
by: Cerone, Pietro, et al.
Published: (2008)
by: Cerone, Pietro, et al.
Published: (2008)
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)
Subkelas fungsi univalen yang dijana oleh pengoperasi kamiran
by: Zabidin Salleh
Published: (2015)
by: Zabidin Salleh
Published: (2015)
Discrete structures with contemporary applications
by: Stanoyevitch, Alexander
Published: (2010)
by: Stanoyevitch, Alexander
Published: (2010)
Functional foods of the east
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)
Pulmonary function testing a practical approach
by: Wanger, Jack
Published: (2012)
by: Wanger, Jack
Published: (2012)
Methods of analysis for functional foods and nutraceuticals
by: Hurst, W. Jeffrey (William Jeffrey) 1948-
Published: (2008)
by: Hurst, W. Jeffrey (William Jeffrey) 1948-
Published: (2008)
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)
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)
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)
An introduction to functional grammar
by: Halliday, M. A. K. (Michael Alexander Kirkwood) 1925-
Published: (1994)
by: Halliday, M. A. K. (Michael Alexander Kirkwood) 1925-
Published: (1994)
Introducing functional grammar
by: Thompson, Geoff 1947-
Published: (1996)
by: Thompson, Geoff 1947-
Published: (1996)
Special functions for engineers and applied mathematics
by: Andrews, Larry C.
Published: (1985)
by: Andrews, Larry C.
Published: (1985)
Functional food ingredients and nutraceuticals processing and technologies
by: Shi, John
Published: (2007)
by: Shi, John
Published: (2007)
Brief calculus for management and the life and social sciences
by: Stancl, Donald L.
Published: (1988)
by: Stancl, Donald L.
Published: (1988)
Computability theory & automata theory
by: Plante, Kristy, et al.
Published: (2012)
by: Plante, Kristy, et al.
Published: (2012)
Basic discrete mathematics logic,set heory,and probability
by: Kohar, Richard
by: Kohar, Richard
Similar Items
-
Computation as logic
by: Lalement, Rene
Published: (1993) -
Discrete structures, logic, and computability
by: Hein, James L.
Published: (2010) -
Mathematical logic for computer science
by: Ben-Ari, M. 1948-
Published: (1993) -
Quantum algebras, mathematical logic and quantum computing
by: Armenta, Janna
Published: (2014) -
Mathematical logic
by: Chiswell, Ian 1948-, et al.
Published: (2007)