Computability in context : computation and logic in the real world / / editors, S. Barry Cooper, Andrea Sorbi.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 2011 |
Language: | English |
Online Access: | |
Physical Description: | viii, 410 p. :; ill. (some col.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Computability theory and its applications : : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / / Peter A. Cholak [and three others], editors.
Published: ([2000]) -
Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
by: Schwichtenberg, Helmut,
Published: (2012.) -
Theory of computation / George Tourlakis.
by: Tourlakis, George J.
Published: (2012.) -
Logic and computation : : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor.
Published: ([1990]) -
Classical Mathematical Logic : : The Semantic Foundations of Logic / / Richard L. Epstein.
by: Epstein, Richard L.,
Published: ([2011])