Cover Image

QR Code

Computability in context computation and logic in the real world /

Show other versions (1)

Saved in:

Bibliographic Details
Corporate Author:	ebrary, Inc
Other Authors:	Cooper, S. B. (S. Barry), Sorbi, Andrea, 1956-
Format:	Electronic eBook
Language:	English
Published:	London : Singapore ; Hackensack, N.J. : Imperial College Press ; World Scientific Pub. Co., 2011.
Subjects:	Computable functions. Computational intelligence. Set theory. Mathematics > Philosophy. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computability in context computation and logic in the real world /
Published: (2011)

Mathematical logic
by: Tourlakis, George J.
Published: (2003)

Mathematical logic
by: Tourlakis, George J.
Published: (2003)

Theory of computation
by: Tourlakis, George J.
Published: (2012)

Theory of computation
by: Tourlakis, George J.
Published: (2012)

Infinity and truth /
Published: (2014)

Infinity and truth /
Published: (2014)

Logic without borders /
Published: (2015)

Logic without borders /
Published: (2015)

Computational prospects of infinity
Published: (2008)

Computational prospects of infinity
Published: (2008)

Infinity and the mind : the science and philosophy of the infinite /
by: Rucker, Rudy
Published: (1982)

Infinity and the mind : the science and philosophy of the infinite /
by: Rucker, Rudy
Published: (1982)

Forcing for mathematicians /
by: Weaver, Nik
Published: (2014)

Forcing for mathematicians /
by: Weaver, Nik
Published: (2014)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-, et al.
Published: (2015)

Logic for concurrency and synchronisation
Published: (2003)

Logic for concurrency and synchronisation
Published: (2003)

Proof, logic, and formalization
Published: (1992)

Proof, logic, and formalization
Published: (1992)

Representation and productive ambiguity in mathematics and the sciences
by: Grosholz, Emily R.
Published: (2007)

Representation and productive ambiguity in mathematics and the sciences
by: Grosholz, Emily R.
Published: (2007)

Foundations of computing : system development with set theory and logic /
by: Scheurer, Thierry
Published: (1994)

Foundations of computing : system development with set theory and logic /
by: Scheurer, Thierry
Published: (1994)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
by: Hopkins, Burt C.
Published: (2011)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
by: Hopkins, Burt C.
Published: (2011)

Classical mathematical logic the semantic foundations of logic /
by: Epstein, Richard L.
Published: (2011)

Classical mathematical logic the semantic foundations of logic /
by: Epstein, Richard L.
Published: (2011)

Introduction to logic and to the methodology of the deductive sciences
by: Tarski, Alfred
Published: (1994)

Introduction to logic and to the methodology of the deductive sciences
by: Tarski, Alfred
Published: (1994)

Logical reasoning with diagrams
Published: (1996)

Logical reasoning with diagrams
Published: (1996)

Introduction to languages and the theory of computation /
by: Martin, John C.
Published: (1991)

Introduction to languages and the theory of computation /
by: Martin, John C.
Published: (1991)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
by: Goldblatt, Robert
Published: (2011)