VIAF

Virtual International Authority File

Search

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

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. National Library of the Netherlands National Diet Library, Japan Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library National Library of Latvia
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 and unsolvability National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library 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 Catalonia National Library of the Netherlands Sudoc [ABES], France
A first course in functional analysis. NUKAT Center of Warsaw University Library National Library of Catalonia Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO
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 NUKAT Center of Warsaw University Library National Library of Catalonia National Library of the Netherlands
Keisan no riron National Diet Library, Japan
Lectures on modern mathematics National Library of the Netherlands Library of Congress/NACO National Library of Catalonia 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 National Library of the Netherlands Library of Congress/NACO German National Library Sudoc [ABES], France National Library of Catalonia NUKAT Center of Warsaw University Library 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
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)