Examples: Prince; Princeton University; Ken Follett; Follett,Ken; Follet,
1shortlisttitle datasearch history  
results search [or] ISN:0000000110680677 | 1 hits
Person
ISNI: 
0000 0001 1068 0677
Name: 
Dana S. Scott
Dana Scott (American mathematician and computer scientist)
Dana Scott (Amerikaans wiskundige)
Dana Scott (amerikansk matematikar, informatikar og ingeniør)
Dana Scott (amerikansk matematiker, datavetare och ingenjör)
Dana Scott (amerikansk matematiker, informatiker og ingeniør)
Dana Scott (informatico e matematico statunitense)
Dana Scott (matemàtic, lògic, informàtic i filòsof estatunidenc)
Dana Scott (US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph)
Scott, D. S.
Scott, Dana
Scott, Dana S.
Scott, Dana Stewart
Ντέινα Σκοτ
Дана Скотт
Дейна Скот
Дејна Скот
Скотт, Дана
דיינה סקוט
دانا اسکات (ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی)
دانا سكوت
ডানা স্টুয়ার্ট স্কট
デイナ・スコット
达纳·斯科特
Dates: 
1932-
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Bostock, David
Davies, Martin K.
Fourman, Michael Paul (1950-)
Jech, Tomáš (1944-...)
London Mathematical Society
Müller, Gert H.
Müller, Gert Heinz (1923-)
Mulvey, C.J. (1946-)
Peacocke, Christopher
Putnam, Hilary Whitehall (1926-....))
Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, Eng)
Stoy, Joseph E.
Symposium in Pure Mathematics (1967 ; Los Angeles)
Symposium in Pure Mathematics, University of California, Los Angeles, 1967
Titles: 
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
Axiomatic set theory.
Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication
Data types as lattices
Denotational semantics : the Scott-Strachey approach to programming language theory
Foundational aspects of theories of measurement
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
introduction to modal logic, An : the Lemmon notes
Kurt Gödel and the foundations of mathematics : horizons of truth
lattice of flow diagrams, The
Notes on the formalization of logic
Outline of a mathematical theory of computation
Oxford logic guides
Removal of phosphates and metals from sewage sludge
Selected papers
selective bibliography of philosophical logic, A
Toward a mathematical semantics for computer languages
Notes: 
Sources: 
VIAF LC NLI NLP NUKAT SUDOC WKD
BOWKER
NTA
TEL