VIAF

Virtual International Authority File

Search

Davis, Martin, 1928-.... National Library of the Czech Republic National Diet Library, Japan German National Library Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia ISNI NUKAT Center of Warsaw University Library National Library of Israel National Library of France National Library of Spain National Library of Latvia

Davis, Martin (Martin D.), 1928- National Library of the Netherlands

Martin Davis American mathematician Wikidata

VIAF ID: 85381152 (Personal)

Permalink: http://viaf.org/viaf/85381152

ISNI: 0000  0001  0921  5209 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (22)

Open Section Close SectionWorks

Title Sources
Alan M. Turing : centenary edition NUKAT Center of Warsaw University Library Sudoc [ABES], France
Applied nonstandard analysis. Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of Latvia National Diet Library, Japan
Astrolocality astrology : a guide to what it is and how to use it National Library of the Netherlands
Chōjun kaiseki National Diet Library, Japan
Computability & unsolvability NUKAT Center of Warsaw University Library National Library of Catalonia National Library of the Netherlands Library of Congress/NACO xR Extended Titles Sudoc [ABES], France National Library of France
Computability, complexity, and languages : fundamentals of theoretical computer science NUKAT Center of Warsaw University Library National Library of Catalonia Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of France
Computational logic and set theory : applying formalized logic to analysis NUKAT Center of Warsaw University Library
Desâtaâ problema Gil'berta NUKAT Center of Warsaw University Library National Library of France
Differential and integral calculus Sudoc [ABES], France National Library of France German National Library
Engines of logic : mathematicians and the origin of the computer National Library of the Netherlands National Library of Catalonia Sudoc [ABES], France
First course in functional analysis National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO xR Extended Titles NUKAT Center of Warsaw University Library National Library of Catalonia
From here to there : an astrologer's guide to astromapping National Library of the Netherlands
From linear operators to computational biology : essays in memory of Jacob T. Schwartz Library of Congress/NACO
Hilbert's tenth problem NUKAT Center of Warsaw University Library National Library of Catalonia Sudoc [ABES], France National Library of France Library of Congress/NACO
Incunabula : studies in fifteenth-century printed books presented to Lotte Hellinga National Library of Catalonia
Introduction to modern algebra and matrix theory National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of Catalonia
Keisan no riron National Diet Library, Japan
Lectures on modern mathematics National Library of Catalonia Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of France
Prikladnoj nestandartnyj analiz NUKAT Center of Warsaw University Library Sudoc [ABES], France
Set theory and the continuum hypothesis NUKAT Center of Warsaw University Library Sudoc [ABES], France
Solvability, provability, definability : the collected works of Emil L. Post Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France
Sourcebook on contract law Sudoc [ABES], France
Sūgakugirai no tameno konpyūta ronrigaku : Nandemo keisan ni naru konpon genri National Diet Library, Japan
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of Catalonia Library of Congress/NACO
Universal computer the road from leibniz to turing Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia xR Extended Titles National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of Spain National Diet Library, Japan
Works. Sudoc [ABES], France Library of Congress/NACO
Прикладной нестандартный анализ, 1980: Sudoc [ABES], France National Library of Latvia
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 National Diet Library, Japan
計算の理論 National Diet Library, Japan
超準解析 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (6)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (12)

Open Section Close Section History of VIAF ID:85381152 (28)