Computability and logic

QR Code

Computability and logic

Bibliographic Details
Main Authors:	Boolos, George (Author), Jeffrey, Richard (Author)
Format:	Book
Published:	Cambridge Cambridge University Press 1980
Edition:	2nd ed.
Subjects:	Computable functions Logic, Symbolic and mathematical Recursive functions

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)

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

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

Logic in linguistics
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)

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

A first course in computability theory
by: Plante, Kristy
Published: (2012)

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

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

Scientific computing and its applications
by: Cousins, Lorrie
Published: (2014)

Automata and computability
by: Kozen, Dexter 1951-
Published: (1997)

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

An introduction to theory of computation [
by: Malone, Sherwood
Published: (2014)

Advances in inequalities for special functions
by: Cerone, Pietro, et al.
Published: (2008)

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

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

Subkelas fungsi univalen yang dijana oleh pengoperasi kamiran
by: Zabidin Salleh
Published: (2015)

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

Functional foods of the east
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)

Pulmonary function testing a practical approach
by: Wanger, Jack
Published: (2012)

Methods of analysis for functional foods and nutraceuticals
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)

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

The equation [electronic resource] : icons of knowledge
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)

An introduction to functional grammar
by: Halliday, M. A. K. (Michael Alexander Kirkwood) 1925-
Published: (1994)

Introducing functional grammar
by: Thompson, Geoff 1947-
Published: (1996)

Special functions for engineers and applied mathematics
by: Andrews, Larry C.
Published: (1985)

Functional food ingredients and nutraceuticals processing and technologies
by: Shi, John
Published: (2007)

Brief calculus for management and the life and social sciences
by: Stancl, Donald L.
Published: (1988)

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

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

Introduction to functional programming
by: Bell, Alia
Published: (2014)

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

Rempah ratus : khasiat makanan & ubatan
by: Ong, Hean Chooi , 1949-
Published: (2008)

Basic complex analysis
by: Marsden, Jerrold E., et al.
Published: (1987)