Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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-)
Jech, Tomáš (1944-...)
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.
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 : Proceedings of symposia in pure mathematics held at the University of California, Los Angeles (California), July 10 - August 5, 1967. Vol. XIII, part I
bibliography of logic books, A
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"
lattice of flow diagrams, The
"Lemmon notes" : an introduction to modal logic
modal logic
Notes on the formalization of logic.
Oxford logic guides
philosophical problems in logic
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
Notes: 
Sources: 
VIAF BNF LC NLI NLP NTA NUKAT SUDOC WKP
TEL