scientific article; zbMATH DE number 4039834
From MaRDI portal
Publication:3778705
zbMATH Open0638.01013MaRDI QIDQ3778705FDOQ3778705
Authors: Martin Davis
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
History of mathematics in the 20th century (01A60) History of computer science (68-03) History of mathematical logic and foundations (03-03)
Cited In (16)
- Title not available (Why is that?)
- The mathematical origins of modern computing
- Title not available (Why is that?)
- Title not available (Why is that?)
- Alan Turing's \textit{Systems of logic}. The Princeton thesis. Edited and introduced by Andrew W. Appel
- Haskell before Haskell: Curry's contribution to programming (1946--1950)
- Title not available (Why is that?)
- Title not available (Why is that?)
- From the \textit{Entscheidungsproblem} to the personal computer -- and beyond
- The great formal machinery works. Theories of deduction and computation at the origins of the digital age
- Title not available (Why is that?)
- Title not available (Why is that?)
- Seventy Years of Computer Science
- The Principles of Large-Scale Computing Machines
- The invention of the universal electronic computer—how the Electronic Computer Revolution began
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3778705)