Carregant...

Codi QR

Computability and logic /

other_versions_link

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic b...

Descripció completa

Dades bibliogràfiques
Autor principal:	Boolos, George S.
Altres autors:	Burgess, John P., Jeffrey, Richard C.
Format:	Printed Book
Idioma:	English
Publicat:	Cambridge ; New York : Cambridge University Press, 2002.
Edició:	4th ed.
Matèries:	Computable functions. Logic, Symbolic and mathematical. Recursive functions.
Accés en línia:	http://www.loc.gov/catdir/toc/cam024/2001043302.html http://www.loc.gov/catdir/description/cam022/2001043302.html

Ítems similars

Computability and logic /
per: Boolos, George
Publicat: (1974)

Computational Complexity-A Modern Approach.
per: Arora,Sanjeev, et al.
Publicat: (2009)

Recursive functions.-3rd ed.
per: Peter, Rozsa
Publicat: (1967)

Recursively enumerable sets and degrees.
per: Soare, Robert J.
Publicat: (1987)

Logic, sets and recursion
per: Causey, Robert L; Author
Publicat: (2010)

Computability Theory;Vol.62
per: Weber,Rebecca

Elementary induction on abstract structures /
per: Moschovakis, Yiannis N.
Publicat: (1974)

Logic, sets and recursion
per: Causey, Robert L.
Publicat: (2010)

Recursive function theory and logic
per: Yasuhara, Ann
Publicat: (1971)

Cellular automata a discrete view of the world
per: Schiff, Joel L
Publicat: (2008)

Symbolic Logic and the Game of Logic
per: Carroll, Lewis
Publicat: (1958)

Mathematical logic for computer science /
Publicat: (2008)

Logical forms : an introduction to philosophical logic /
per: Sainsbury, R. M.
Publicat: (1991)

Logic with trees : an introduction to symbolic logic /
per: Howson, Colin
Publicat: (1997)

Symbolic logic /
per: Copi, Irving M.
Publicat: (1973)

Symbolic logic /
per: Copi, Irving M.
Publicat: (1979)

Logical investigations /
per: Frege, Gottlob
Publicat: (1977)

Symbolic logic /
per: Copi, Irving M.
Publicat: (2015)

System of Logic
per: Martin, Norman M
Publicat: (1989)

Formal logic /
Publicat: (2017)

Mathematical logic /
per: Shoenfield, Joseph R.
Publicat: (2001)

Mathematical logic
per: Chiswell,Ian, et al.
Publicat: (2008)

A textbook of logic
per: Krishna Jain; Author
Publicat: (2009)

Foundations of the logical theory of scientific knowledge (complex logic) /
per: Zinoviev, Aleksandr
Publicat: (1973)

Introduction to mathematical logic /
per: Mendelson, Elliott
Publicat: (2010)

Introduction to mathematical logic /
per: Mendelson, Elliott
Publicat: (1964)

Introduction to symbolic logic /
per: Basson, A. H., et al.
Publicat: (1976)

Introduction to symbolic logic /
per: Carney, James D.
Publicat: (1970)

Introduction to symbolic logic /
per: Basson, A. H., et al.
Publicat: (1976)

Course of mathematical logic /
per: Fraïssé, Roland
Publicat: (1973)

Papers in philosophical logic /
per: Lewis, David K.
Publicat: (1998)

An introduction to symbolic logic /
per: Langer, Susanne K.
Publicat: (1967)

Foundations of mathematical logic /
per: Curry, Haskell B.
Publicat: (1977)

An introduction to mathematical logic /
per: Hodel, Richard E.
Publicat: (2013)

Essentials of symbolic logic /
per: Simpson, R. L.
Publicat: (1988)

Introduction to mathematical logic /
per: Walicki, Michał
Publicat: (2012)

Introduction to mathematical logic /
per: Walicki, Michał
Publicat: (2012)

Structuralist theory of logic
per: Koslow, Arnold
Publicat: (1992)

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1964)

What is mathematical logic? /
per: Crossley,J.N
Publicat: (1972)