Your search returned 304 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
The Turing guide / B. Jack Copeland ... [et al.]

by Copeland, B. Jack, 1950- [author].

Edition: 1st edition, 1st impression.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford University Press, c2017Availability: Items available for loan: Science Museum London [Call number: 92 TUR TURING] (1).
Lists:

Place hold Add to cart
History of mathematical logic from Leibniz to Peano / N.I. Styazhkin.

by Sti͡azhkin, N. I.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. ; London : M.I.T. Press, [2015], c1969Availability: Items available for loan: Science Museum London [Call number: 510.2:93 STYAZHKIN] (1).

Place hold Add to cart
Philosophy of mathematics in the twentieth century : selected essays / Charles Parsons.

by Parsons, Charles, 1933-.

Material type: book Book; Literary form: Not fiction Publisher: Cambridge, Mass. ; London : Harvard University Press, c2014Availability: Items available for loan: Science Museum London [Call number: 510:93 PARSONS] (1).

Place hold Add to cart
Alan Turing : his work and impact / edited by S. Barry Cooper and J. van Leeuwen.

by Cooper, S. B. (S. Barry) | Leeuwen, J. van (Jan).

Material type: book Book; Format: print ; Nature of contents: biography; Literary form: Not fiction Publisher: Waltham, MA : Elsevier, c2013Availability: Items available for loan: Science Museum London [Call number: 92 TUR ALAN] (1).

Place hold Add to cart
Computability : Turing, Gödel, Church, and beyond / edited by Jack Copeland, Carl J. Posy, and Oron Shagrir.

by Copeland, B. Jack, 1950- | Posy, Carl J | Shagrir, Oron, 1961-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. ; London : The MIT Press, c2013Availability: Items available for loan: Science Museum London [Call number: 510.2:93 COMPUTABILITY] (1).

Place hold Add to cart
After Gödel : Platonism and rationalism in mathematics and logic / Richard Tieszen.

by Tieszen, Richard L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford University Press, c2013Availability: Items available for loan: Science Museum London [Call number: 510.2:93 TIESZEN] (1).

Place hold Add to cart
The logician and the engineer : how George Boole and Claude Shannon created the information age / Paul J. Nahin.

by Nahin, Paul J.

Material type: book Book; Format: print ; Nature of contents: biography; Literary form: Not fiction Publisher: Princeton, New Jersey ; Oxford : Princeton University Press, c2013Availability: Items available for loan: Science Museum London [Call number: 510.2:93 NAHIN] (1).

Place hold Add to cart
Excursions in the History of Mathematics / by Israel Kleiner

by Kleiner, Israel [author.].

Material type: book Book; Format: print available online remote; Literary form: Not fiction Publisher: New York ; London : Birkhäuser, c2012Availability: Items available for loan: Science Museum London [Call number: 51:93 KLEINER] (1).

Place hold Add to cart
Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel.

by Turing, Alan Mathison, 1912-1954 | Appel, Andrew W, 1960- [aui, ctb, edt] | Feferman, Solomon [ctb].

Edition: [Facsim. ed.].Material type: book Book; Format: print ; Nature of contents: biography; Literary form: Not fiction Publisher: Princeton, N.J. ; Oxford : Princeton University Press, c2012Other title: Systems of logic.Availability: Items available for loan: Science Museum Wroughton [Call number: 081 TUR TURING] (1).

Place hold Add to cart
A science of operations : machines, logic and the invention of programming / Mark Priestley.

by Priestley, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : Springer, c2011Availability: Items available for loan: Science Museum London [Call number: 681.322.06:93 PRIESTLEY] (1).

Place hold Add to cart
The logical leap : induction in physics / David Harriman ; with an introduction by Leonard Peikoff.

by Harriman, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : New American Library, c2010Availability: Items available for loan: Science Museum Wroughton [Call number: 161 HARRIMAN] (1).

Place hold Add to cart
Rethinking the BSE crisis : a study of scientific reasoning under uncertainty / Louise Cummings.

by Cummings, Louise.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht ; London : Springer, c2010Other title: Rethinking the bovine spongiform encephalopathy crisis.Availability: Items available for loan: Science Museum Wroughton [Call number: 619:93 CUMMINGS] (1).

Place hold Add to cart
Essays in the philosophy and history of logic and mathematics / Roman Murawski ; foreword, Jan Woleński.

by Murawski, Roman.

Material type: computer file Computer file; Format: electronic available online remote Publisher: Amsterdam ; New York, NY : Rodopi, c2010Availability: Items available for reference: Science Museum London [Call number: 510:93 MURAWSKI] (1).

Add to cart
What is a number? : mathematical concepts and their origins / Robert Tubbs.

by Tubbs, Robert, 1954-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Baltimore Md. : Johns Hopkins University Press, c2009Online access: Table of contents only Availability: Items available for loan: Science Museum London [Call number: 510:93 TUBBS] (1).

Place hold Add to cart
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / Charles Petzold.

by Petzold, Charles, 1953-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Indianapolis, IN : Wiley Pub., c2008Online access: Table of contents only Availability: Items available for loan: Science Museum London [Call number: 510.2:93 PETZOLD] (1).

Place hold Add to cart
Thinking about Gödel and Turing : essays on complexity 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies.

by Chaitin, Gregory J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hackensack, N.J. ; London : World Scientific, c2007Other title: Gödel and Turing.Availability: Items available for loan: Science Museum Wroughton [Call number: 510.2:93 CHAITIN] (1).

Place hold Add to cart
New frontiers in scientific discovery : commemorating the life and work of Zdzisaw Pawlak / edited by Ewa Orowska ... [et al.].

by Orlowska, Ewa.

Material type: book Book; Format: print festschrift ; Literary form: Not fiction Publisher: Amsterdam ; Oxford : IOS Press, c2007Online access: Table of contents only Availability: Items available for loan: Science Museum Wroughton [Call number: 510.2:93 NEW] (1).

Place hold Add to cart
The best of all possible worlds : mathematics and destiny / Ivar Ekeland.

by Ekeland, I. (Ivar), 1944-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chicago ; London : University of Chicago Press, 2006Online access: Table of contents only Availability: Items available for loan: Science Museum London [Call number: 519.8:93 EKELAND] (1).

Place hold Add to cart
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus the secrets of Enigma / edited by B. Jack Copeland.

by Copeland, B. Jack, 1950-.

Material type: book Book; Format: print ; Nature of contents: biography; Literary form: Not fiction Publisher: Oxford : Oxford University Press, 2005, c2004Availability: Items available for loan: Science Museum London [Call number: 081 TUR ESSENTIAL] (1).

Place hold Add to cart
Hausdorff on ordered sets / J.M. Plotkin, editor ; translated by J.M. Plotkin.

by Hausdorff, Felix, 1868-1942 | Plotkin, J. M. (Jacob M.), 1941- | American Mathematical Society | London Mathematical Society.

Material type: book Book; Format: print ; Nature of contents: biography; Literary form: Not fiction Publisher: Providence, R.I. : [London] : American Mathematical Society ; London Mathematical Society, c2005Availability: Items available for loan: Science Museum Wroughton [Call number: 510.22:93 HAUSDORFF] (1).

Place hold Add to cart
Pages