Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000110680677 | 1 hits
Person
ISNI: 
0000 0001 1068 0677
Name: 
Scott, D. S.
Scott, Dana
Scott, Dana S.
Scott, Dana Stewart
Dates: 
1932-
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Bostock, David
Davies, Martin K.
Fourman, Michael Paul (1950-....))
London Mathematical Society
Müller, Gert H.
Müller, Gert Heinz (1923-....))
Mulvey, C. J. (1946-)
Peacocke, Christopher
Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, Eng)
Stoy, Joseph E.
Strachey, Christopher
Symposium in Pure Mathematics (1967 ; Los Angeles)
Symposium in Pure Mathematics, University of California, Los Angeles, 1967
Titles: 
alfred tarski: life and logic
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
finite automata and their decision problem
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
Oxford logic guides
proof of the independence of the continuum hypothesis, a
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 NTA NUKAT SUDOC WKP
TEL