Martin Davis Books

Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

By Davis Martin

Average: 0.00, 0 Ratings

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes very little background in formal mathematics. The bo...

Read More
Handmaiden of The Sun
Handmaiden of The Sun

By Martin Davis

Average: 0.00, 0 Ratings

Read More
Computability: Turing, Godel, Church, and Beyond
Extensions and Corollaries of Recent Work on Hilbert s Tenth Problem
Extensions and Corollaries of Recent Work on Hilbert s Tenth Problem
The Universal Computer: The Road from Leibniz to Turing
The Universal Computer: The Road from Leibniz to Turing

By Davis Martin, Martin Davis

Average: 0.00, 0 Ratings

"Computers are everywhere today - at work; in art studios; in banks, grocery stores, and homes throughout the world; sometimes even in our pockets - yet they remain to many of us objects of irreduc...

Read More
Engines of Logic
Engines of Logic

By Martin Davis

Average: 0.00, 0 Ratings

Read More
Text and Materials on Housing Law
Applied nonstandard analysis

Related Articles from our Blog

How to Convert ISBN-10 to ISBN-13 (and Vice Versa): A Complete Guide

If you’re in the world of books—whether as a publisher, librarian, bookseller, or avid collector—you’ve likely come across the terms ISBN-10 and ISBN-13. Understanding these formats and knowing how to convert between them is essential for maintaining consistency and compatibility in book records. In this post, we’ll cover everything you need to know about ISBN conversions, step by step.

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More