Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000109215209 | 1 hits
Person
ISNI: 
0000 0001 0921 5209
Name: 
Davis, Martin,
Davis, Martin D.
Devis, M.
Девис, М.
Девис, Мартин
デービス, M
ディヴィス, マーティン
Dates: 
1928-
Creation class: 
cre
Language material
Text
Creation role: 
author
creator
editor
redactor
Related names: 
Hausner, Melvin
Landau, Edmund (1877-1938)
Post, Emil L.
Post, Emil Leon
Princeton University
Schreier, Otto (1901-1929)
Sigal, Ron
Sperner, Emanuel (1905-1980)
Turing, John
Turing, Sara
Uspenskij, Vladimir Andreevič (1930-....))
Weyuker, Elaine J.
難波, 完爾 (1939-)
Titles: 
Alan M. Turing : centenary edition
Applied nonstandard analysis
Astrolocality astrology : a guide to what it is and how to use it
Chōjun kaiseki
Computability, complexity, and languages : Fundamentals of theoretical computer science
Computability & unsolvability
Computational logic and set theory : applying formalized logic to analysis
Desâtaâ problema Gil'berta
Differential and integral calculus
Engines of logic : mathematicians and the origin of the computer
First course in functional analysis
From here to there : an astrologer's guide to astromapping
From linear operators to computational biology : essays in memory of Jacob T. Schwartz
Hilbert's tenth problem
Incunabula : studies in fifteenth-century printed books presented to Lotte Hellinga
Introduction to modern algebra and matrix theory
Keisan no riron
Lectures on modern mathematics
On the theory of recursive unsolvability
Prikladnoj nestandartnyj analiz
Set theory and the continuum hypothesis
Solvability. provability, definability : the collected works of Emil L. Post
Sourcebook on contract law
Sūgakugirai no tameno konpyūta ronrigaku : Nandemo keisan ni naru konpon genri
Undecidable, The : basic papers on undecidable propositions, unsolvable problems and computable functions
Universal computer the road from leibniz to turing
Works.
Прикладной нестандартный анализ, 1980:
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理
計算の理論
超準解析
Notes: 
Thèse--Princeton University
Sources: 
VIAF BNC BNE DNB LC LNB NDL NKC NLI NTA NUKAT SUDOC WKP
TEL